Triangle Constructions with Three Located Points

DOI10.2307/2690164MaRDI QIDQ3962080zbMATHOpenAlexFDO

Authors W. Wernick

Publication date 1982

Full work available at URL https://doi.org/10.2307/2690164

zbMATH Keywords

triangleconstructionsproblems

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)

Cited in

(12)

• On the mechanization of straightedge and compass constructions
• On automating triangle constructions in absolute and hyperbolic geometry
• Computer theorem proving for verifiable solving of geometric construction problems
• Automated triangle constructions in hyperbolic geometry
• Constructing a triangle from two vertices and the symmedian point
• On the reconstruction problem for Pascal lines
• Portfolio theorem proving and prover runtime prediction for geometry
• Towards understanding triangle construction problems
• New dynamics in dynamic geometry: dragging constructed points
• Using jointly geometry and algebra to determine RC-constructibility
• Automatic constructibility checking of a corpus of geometric construction problems
• Constructibility classes for triangle location problems

This page was built for publication: Triangle Constructions with Three Located Points

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