The HOL Light theory of Euclidean space (Q1945903): 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 @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gandalf
@@ Property / describes a project that uses: Gandalf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jordan
@@ Property / describes a project that uses: Jordan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / 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/s10817-012-9250-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2091456056
@@ Property / OpenAlex ID: W2091456056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736392
@@ Property / cites work: Q4736392 / rank @@
+Normal rank
@@ Property / cites work @@
+The Jordan Curve Theorem, Formally and Informally
@@ Property / cites work: The Jordan Curve Theorem, Formally and Informally / rank @@
+Normal rank
@@ Property / cites work @@
+A revision of the proof of the Kepler conjecture
@@ Property / cites work: A revision of the proof of the Kepler conjecture / 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 @@
+Without Loss of Generality
@@ Property / cites work: Without Loss of Generality / rank @@
+Normal rank
@@ Property / cites work @@
+Importing HOL Light into Coq
@@ Property / cites work: Importing HOL Light into Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Some Combinatorial Lemmas in Topology
@@ Property / cites work: Some Combinatorial Lemmas in Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218971
@@ Property / cites work: Q4218971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258069
@@ Property / cites work: Q4258069 / rank @@
+Normal rank