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

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickChick
@@ Property / describes a project that uses: QuickChick / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematical Components
@@ Property / describes a project that uses: Mathematical Components / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FocalTest
@@ Property / describes a project that uses: FocalTest / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OEIS
@@ Property / describes a project that uses: OEIS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SmallCheck
@@ Property / describes a project that uses: SmallCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nitpick
@@ Property / describes a project that uses: Nitpick / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / 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-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
@@ links / mardi / name / links / mardi / name @@
+Publication:2827441