Measuring the readability of geometric proofs: the area method case
From MaRDI portal
Publication:6156633
DOI10.1007/s10817-022-09652-0OpenAlexW4315491616MaRDI QIDQ6156633
Pierluigi Graziani, Pedro Quaresma
Publication date: 14 June 2023
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-022-09652-0
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Unnamed Item
- The area method. A recapitulation
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- Taxonomies of geometric problems
- A review and prospect of readable machine proofs for geometry theorems
- An Introduction to Java Geometry Expert
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
- Machine Proofs in Geometry
- Proof Technology in Mathematics Research and Teaching
- Theorem Proving in Higher Order Logics
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
This page was built for publication: Measuring the readability of geometric proofs: the area method case
