Triangle Constructions with Three Located Points

DOI10.2307/2690164zbMATH Open0497.51016OpenAlexW4233803944MaRDI QIDQ3962080FDOQ3962080

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)

• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
• On the reconstruction problem for Pascal lines
• On the mechanization of straightedge and compass constructions
• New dynamics in dynamic geometry: dragging constructed points
• Portfolio theorem proving and prover runtime prediction for geometry
• Automated triangle constructions in hyperbolic geometry
• Automatic constructibility checking of a corpus of geometric construction problems
• Constructibility classes for triangle location problems
• Using jointly geometry and algebra to determine RC-constructibility
• Towards understanding triangle construction problems
• On automating triangle constructions in absolute and hyperbolic geometry
• Title not available (Why is that?)

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)