An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032): Difference between revisions

@@ Property / cites work @@
+Q4484332
@@ Property / cites work: Q4484332 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071773
@@ Property / cites work: Q4071773 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing the trading theorem in Coq
@@ Property / cites work: Formalizing the trading theorem in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Functional specification and prototyping with oriented combinatorial maps
+Normal rank
@@ Property / cites work @@
+Design and formal proof of a new optimal image segmentation program with hypermaps
+Normal rank
@@ Property / cites work @@
+Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
+Normal rank
@@ Property / cites work @@
+Q4910724
@@ Property / cites work: Q4910724 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal proof of a program: find
@@ Property / cites work: Formal proof of a program: find / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906789
@@ Property / cites work: Q3906789 / 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 @@
+The Jordan Curve Theorem, Formally and Informally
@@ Property / cites work: The Jordan Curve Theorem, Formally and Informally / rank @@
+Normal rank
@@ Property / cites work @@
+Digital pseudomanifolds, digital weakmanifolds and Jordan--Brouwer separation theorem
+Normal rank
@@ Property / cites work @@
+A definition of surfaces of \({\mathbb{Z}}^{3}\). A new 3D discrete Jordan theorem
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining Gabriel-Zisman localization to the computer
+Normal rank
@@ Property / cites work @@
+A digital analogue of the Jordan curve theorem
@@ Property / cites work: A digital analogue of the Jordan curve theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial analog of the Jordan Curve Theorem
+Normal rank
@@ Property / cites work @@
+Combinatorial Oriented Maps
@@ Property / cites work: Combinatorial Oriented Maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216652
@@ Property / cites work: Q3216652 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Jordan curve theorems
@@ Property / cites work: Discrete Jordan curve theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024892
@@ Property / cites work: Q3024892 / rank @@
+Normal rank