Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733): Difference between revisions

@@ Property / author @@
-Jacques D. Fleuriot
@@ Property / author: Jacques D. Fleuriot / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / author @@
+Jacques D. Fleuriot
@@ Property / author: Jacques D. Fleuriot / 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-25070-5_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1457412126
@@ Property / OpenAlex ID: W1457412126 / rank @@
+Normal rank
@@ Property / cites work @@
+Insight in discrete geometry and computational content of a discrete model of the continuum
+Normal rank
@@ Property / cites work @@
+Ω-Arithmetization of Ellipses
@@ Property / cites work: Ω-Arithmetization of Ellipses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249889
@@ Property / cites work: Q4249889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946078
@@ Property / cites work: Q4946078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754041
@@ Property / cites work: Q2754041 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving in infinitesimal geometry
@@ Property / cites work: Theorem proving in infinitesimal geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q2739733
@@ Property / cites work: Q2739733 / rank @@
+Normal rank
@@ Property / cites work @@
+A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
+Normal rank
@@ Property / cites work @@
+Q3141106
@@ Property / cites work: Q3141106 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth between continuous and discrete for the working computer scientist
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3102733