An introduction to geometry expert

DOI10.1007/3-540-61511-3_86zbMath1412.68214OpenAlexW1588725641MaRDI QIDQ4647519

Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_86

Mathematics Subject Classification ID

Related Items

Automated theorem proving in GeoGebra: current achievements, Portfolio theorem proving and prover runtime prediction for geometry, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

Uses Software

• GEX

Cites Work

• Unnamed Item
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Machine Proofs in Geometry