Search Results for author: Daniel Raggi

Found 2 papers, 0 papers with code

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations

no code implementations7 Jun 2022 Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C-H. Cheng

Since Representational Systems Theory provides a universal approach to encoding representational systems, a further key barrier is eliminated: the need to devise system-specific structural transformation algorithms, that are necessary when different systems adopt different formalisation approaches.

Automating change of representation for proofs in discrete mathematics

no code implementations10 May 2015 Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

We give a brief overview of a general theory of transformations that we consider appropriate for thinking about the matter, and we explain how it relates to the Transfer package.

Cannot find the paper you are looking for? You can Submit a new open access paper.