Automated Deduction in Geometry

DOI10.1007/11615798zbMath1159.68554OpenAlexW4293020873MaRDI QIDQ5493324

Tielin Liang, Dongming Wang

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11615798

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items

Geometry constructions language, Computational Origami Construction as Constraint Solving and Rewriting, Towards an Electronic Geometry Textbook, Automatic Verification of Regular Constructions in Dynamic Geometry Systems

Uses Software

• GEOTHER 1.1