Higher order rule characterization of heuristics of compass and straight edge constructions in geometry

DOI10.1016/0004-3702(74)90028-9zbMath0288.68051OpenAlexW2060207380MaRDI QIDQ1846745

John H. Durnin, Wallace H. II Wulfeck, Joseph M. Scandura

Publication date: 1974

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(74)90028-9

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)

Related Items (4)

Constructibility classes for triangle location problems ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ On the mechanization of straightedge and compass constructions ⋮ Sketch-based pruning of a solution space within a formal geometric constraint solver

Cites Work

• Unrecognizable Sets of Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Higher order rule characterization of heuristics of compass and straight edge constructions in geometry