Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study.

Jacques Carette William M. Farmer

Published in: CoRR (2017)

Keyphrases

mathematical knowledge
case study
graph structure
programming language
random walk
intelligent agents
theorem prover
computer software