On the mechanization of straightedge and compass constructions
type: Item
instance of: scholarly article
title: On the mechanization of straightedge and compass constructions
zbMATH Open document ID: 1410.51025
author: Pascal Schreck
published in: Journal of Systems Science and Complexity
publication date: 2019-03-06T00:00:00Z
Mathematics Subject Classification ID: 51M15
zbMATH DE Number: 7032431
zbMATH Keywords: geometric knowledge-based systems
zbMATH Keywords: regular chains
zbMATH Keywords: straightedge and compass constructibility
zbMATH Keywords: triangle problems
zbMATH Keywords: Wu's method
describes a project that uses: GeoGebra
describes a project that uses: RegularChains
MaRDI profile type: Publication
full work available at URL: s11424-019-8347-1
OpenAlex ID: W2913331535
cites work: Q3497850
cites work: Triangle Constructions with Three Located Points
cites work: Automatic constructibility checking of a corpus of geometric construction problems
cites work: Q5322332
cites work: Solving Cubics With Creases: The Work of Beloch and Lill
cites work: A mathematical theory of origami constructions and numbers
cites work: Formalizing polygonal knot origami
cites work: Q3952214
cites work: On the unavoidable uncertainty of truth in dynamic geometry proving
cites work: Q3996817
cites work: Q5792724
cites work: Solvability by radicals is in polynomial time
cites work: An introduction to Wu's method for mechanical theorem proving in geometry
cites work: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
cites work: Q4227295
cites work: Q4377762
cites work: On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
cites work: On the theories of triangular sets
cites work: Q3416657
cites work: Q4247783
cites work: Update on William Wernick's "Triangle Constructions with Three Located Points"
cites work: Towards a certified version of the encyclopedia of triangle centers
cites work: Retrieving geometric information from images: the case of hand-drawn diagrams
cites work: Logic of Ruler and Compass Constructions
cites work: Higher order rule characterization of heuristics of compass and straight edge constructions in geometry
cites work: Q5330576
cites work: Q4188363
cites work: Variation of geometries based on a geometric-reasoning method
cites work: Geometric construction by assembling solved subfigures
cites work: GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
cites work: Constructibility classes for triangle location problems
cites work: Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Wikidata QID: Q128366740
DOI: 10.1007/S11424-019-8347-1
Recommended article: Q4800842
Recommended article: Straightedge and Compass Constructions in Spherical Geometry
Recommended article: Q3820584
Recommended article: Q4895537
Recommended article: Q3635858
Recommended article: Q3562761
Recommended article: Q3846736
Recommended article: Q3264611
description: scientific article; zbMATH DE number 7032431