A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2012.06.005
@@ Property / DOI: 10.1016/j.entcs.2012.06.005 / rank @@
-Normal rank
@@ Property / author @@
-Tuan M. Pham
@@ Property / author: Tuan M. Pham / rank @@
-Normal rank
@@ Property / author @@
+Tuan M. Pham
@@ Property / author: Tuan M. Pham / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMP/Geometer
@@ Property / describes a project that uses: MMP/Geometer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pcoq
@@ Property / describes a project that uses: Pcoq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoGebra
@@ Property / describes a project that uses: GeoGebra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoView
@@ Property / describes a project that uses: GeoView / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoProof
@@ Property / describes a project that uses: GeoProof / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318101
@@ Property / Wikidata QID: Q113318101 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.06.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2031433674
@@ Property / OpenAlex ID: W2031433674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490725
@@ Property / cites work: Q4490725 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Wu's method for mechanical theorem proving in geometry
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+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 @@
+GeoThms — a Web System for Euclidean Constructive Geometry
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2012.06.005
@@ Property / DOI: 10.1016/J.ENTCS.2012.06.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5170235