Picture for Daniel Raggi

Daniel Raggi

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

Add code
Jun 07, 2022
Viaarxiv icon

Automating change of representation for proofs in discrete mathematics

Add code
May 10, 2015
Figure 1 for Automating change of representation for proofs in discrete mathematics
Figure 2 for Automating change of representation for proofs in discrete mathematics
Figure 3 for Automating change of representation for proofs in discrete mathematics
Viaarxiv icon