Tests and Proofs for Enumerative Combinatorics (Q2827441): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-41135-4_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2477422474
@@ Property / OpenAlex ID: W2477422474 / 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 @@
+Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
+Normal rank
@@ Property / cites work @@
+Designing and proving correct a convex hull algorithm with hypermaps in Coq
+Normal rank
@@ Property / cites work @@
+The New Quickcheck for Isabelle
@@ Property / cites work: The New Quickcheck for Isabelle / rank @@
+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 @@
+An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
+Normal rank
@@ Property / cites work @@
+The Four Colour Theorem: Engineering of a Formal Proof
+Normal rank
@@ Property / cites work @@
+Patterns in permutations and words.
@@ Property / cites work: Patterns in permutations and words. / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs on surfaces and their applications. Appendix by Don B. Zagier
+Normal rank
@@ Property / cites work @@
+Foundational Property-Based Testing
@@ Property / cites work: Foundational Property-Based Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5672655
@@ Property / cites work: Q5672655 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Oriented Maps
@@ Property / cites work: Combinatorial Oriented Maps / rank @@
+Normal rank