Triangle Constructions with Three Located Points

DOI10.2307/2690164MaRDI QIDQ3962080zbMATH OpenOpenAlexFDO

Authors W. Wernick

Publication date 1982

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

zbMATH Keywords

constructionsproblemstriangle

Mathematics Subject Classification ID

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

Cited in

(16)

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

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)