2 papers
cs.CL2018
Argumentation theory for mathematical argument
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences…
cs.AI2015
Automating change of representation for proofs in discrete mathematics
Daniel Raggi, Alan Bundy, Gudmund Grov +1
Representation determines how we can reason about a specific problem. Sometimes one representation helps us find a proof more easily than others. Most current automated reasoning t…