Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277): Difference between revisions

@@ Property / describes a project that uses @@
+GCLC
@@ Property / describes a project that uses: GCLC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-21362-0_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2294949920
@@ Property / OpenAlex ID: W2294949920 / rank @@
+Normal rank
@@ Property / cites work @@
+Variation of geometries based on a geometric-reasoning method
+Normal rank
@@ Property / cites work @@
+From Tarski to Hilbert
@@ Property / cites work: From Tarski to Hilbert / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric constraint solver
@@ Property / cites work: Geometric constraint solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q4188363
@@ Property / cites work: Q4188363 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric construction by assembling solved subfigures
+Normal rank
@@ Property / cites work @@
+Sketch-based pruning of a solution space within a formal geometric constraint solver
+Normal rank
@@ Property / cites work @@
+Q5721424
@@ Property / cites work: Q5721424 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Wu’s Simple Method in Coq
@@ Property / cites work: Formalization of Wu’s Simple Method in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
+Normal rank
@@ Property / cites work @@
+Geometry constructions language
@@ Property / cites work: Geometry constructions language / rank @@
+Normal rank
@@ Property / cites work @@
+DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
+Normal rank
@@ Property / cites work @@
+Solvability by radicals is in polynomial time
@@ Property / cites work: Solvability by radicals is in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792724
@@ Property / cites work: Q5792724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416657
@@ Property / cites work: Q3416657 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Understanding Triangle Construction Problems
+Normal rank
@@ Property / cites work @@
+Higher order rule characterization of heuristics of compass and straight edge constructions in geometry
+Normal rank
@@ Property / cites work @@
+A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
+Normal rank
@@ Property / cites work @@
+Triangle Constructions with Three Located Points
@@ Property / cites work: Triangle Constructions with Three Located Points / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing geometric constructions
@@ Property / cites work: Axiomatizing geometric constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of Ruler and Compass Constructions
@@ Property / cites work: Logic of Ruler and Compass Constructions / rank @@
+Normal rank