Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.comgeo.2014.04.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2030746297
@@ Property / OpenAlex ID: W2030746297 / 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 @@
+Some topological properties of surfaces in \(Z^3\)
+Normal rank
@@ Property / cites work @@
+Designing and proving correct a convex hull algorithm with hypermaps in Coq
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF THE THEORY OF MAPS ON SURFACES WITH BOUNDARY
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+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 generalized maps in Coq
@@ Property / cites work: Formalizing generalized maps in Coq / 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 @@
+Q4531863
@@ Property / cites work: Q4531863 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification of topological subdivisions using hypermaps
+Normal rank
@@ Property / cites work @@
+Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
+Normal rank
@@ Property / cites work @@
+An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
+Normal rank
@@ Property / cites work @@
+Formal Study of Plane Delaunay Triangulation
@@ Property / cites work: Formal Study of Plane Delaunay Triangulation / rank @@
+Normal rank
@@ Property / cites work @@
+Functional specification and prototyping with oriented combinatorial maps
+Normal rank
@@ Property / cites work @@
+Q4744984
@@ Property / cites work: Q4744984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4277726
@@ Property / cites work: Q4277726 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to the classification theorem for compact surfaces
+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 @@
+Q5615284
@@ Property / cites work: Q5615284 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms and hulls
@@ Property / cites work: Axioms and hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps
+Normal rank
@@ Property / cites work @@
+N-DIMENSIONAL GENERALIZED COMBINATORIAL MAPS AND CELLULAR QUASI-MANIFOLDS
+Normal rank
@@ Property / cites work @@
+Q4134589
@@ Property / cites work: Q4134589 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790670
@@ Property / cites work: Q4790670 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing mathematics in higher-order logic: A case study in geometric modelling
+Normal rank
@@ Property / cites work @@
+Q3923266
@@ Property / cites work: Q3923266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216652
@@ Property / cites work: Q3216652 / rank @@
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank