Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry - Concepedia

Concepedia

Publication | Open Access

Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry

DOI Full Paper Access

21

Citations

14

References

2015

Year

Sana Stojanović, Julien Narboux, Predrag Janičić

Annals of Mathematics and Artificial Intelligence

EngineeringAutomated ReasoningVerificationReadable ProofsFormal MethodsCase StudyTarski ’Automated ProofProof TheoryComputer ScienceProof SystemFormal Verification

References

	Year	Citations

Page 1