Formalization of Wu’s Simple Method in Coq (Q3100204): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GCLCprover
@@ Property / describes a project that uses: GCLCprover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / 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-642-25379-9_8
+Normal rank
@@ Property / OpenAlex ID @@
+W120661248
@@ Property / OpenAlex ID: W120661248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490991
@@ Property / cites work: Q3490991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264711
@@ Property / cites work: Q4264711 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Context Aware Calculation and Deduction
@@ Property / cites work: Context Aware Calculation and Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
+Normal rank
@@ Property / cites work @@
+Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Without Loss of Generality
@@ Property / cites work: Without Loss of Generality / rank @@
+Normal rank
@@ Property / cites work @@
+The area method. A recapitulation
@@ Property / cites work: The area method. A recapitulation / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+A new theorem discovered by computer prover
@@ Property / cites work: A new theorem discovered by computer prover / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Java Geometry Expert
@@ Property / cites work: An Introduction to Java Geometry Expert / rank @@
+Normal rank