scientific article; zbMATH DE number 3053516
From MaRDI portal
Publication:5792724
zbMath0035.09601MaRDI QIDQ5792724
No author found.
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Automatic constructibility checking of a corpus of geometric construction problems ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Some remarks on the fractal structure of irrigation balls ⋮ Towards Understanding Triangle Construction Problems ⋮ Using jointly geometry and algebra to determine RC-constructibility ⋮ Experimental Approaches to Theoretical Thinking: Artefacts and Proofs ⋮ Geometric construction by assembling solved subfigures ⋮ On the mechanization of straightedge and compass constructions ⋮ \((2,3)\)-constructible numbers ⋮ Planar linkages following a prescribed motion
This page was built for publication:
