Automation of triangle straightedge-and-compass constructions using automated planning

DOI10.1007/S10472-025-09972-YMaRDI QIDQ6872781zbMATH OpenFDO

Authors Milan Banković

Publication date 19 January 2026

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

SMT solvingautomated planningconstraint solvingconstruction problems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Elementary problems in Euclidean geometries (51M04) Geometric constructions in real or complex geometry (51M15) Computational methods for problems pertaining to geometry (51-08)

This page was built for publication: Automation of triangle straightedge-and-compass constructions using automated planning

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