Automation of triangle ruler-and-compass constructions using constraint solvers

DOI10.4204/EPTCS.398.10MaRDI QIDQ6934146zbMATH OpenFDO

Authors Milan Banković

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Automation of triangle ruler-and-compass constructions using constraint solvers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934146)