The Four Colour Theorem: Engineering of a Formal Proof
From MaRDI portal
Publication:3598006
Recommendations
- Formal proof - the four color theorem
- scientific article; zbMATH DE number 1021588
- The four-colour theorem
- The complexity of the four colour theorem
- scientific article; zbMATH DE number 1564003
- A note on the four color theorem
- An approximate restatement of the Four-Color Theorem
- scientific article; zbMATH DE number 849955
Cited in
(35)- The complexity of the four colour theorem
- Applications of real number theorem proving in PVS
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
- Pure Pointer Programs with Iteration
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Tests and Proofs for Enumerative Combinatorics
- A proof system for graph (non)-isomorphism verification
- Proof checking and logic programming
- A Brief Overview of Agda – A Functional Language with Dependent Types
- Proof checking and logic programming
- Pollack-inconsistency
- Automated mathematical discovery and verification: minimizing pentagons in the plane
- On planarity of graphs in homotopy type theory
- scientific article; zbMATH DE number 1927415 (Why is no real title available?)
- Formalising Mathematics in Simple Type Theory
- Tests and proofs for custom data generators
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- Constructive Mathematics and Functional Programming (Abstract)
- Proof-producing reflection for HOL. With an application to model polymorphism
- How hard is positive quantification?
- Formalization \textit{of} quantum protocols using Coq
- Working with Mathematical Structures in Type Theory
- Towards Formal Proof Script Refactoring
- Computational logic: its origins and applications
- A Compiled Implementation of Normalization by Evaluation
- A fully automatic theorem prover with human-style output
- Hammer for Coq: automation for dependent type theory
- Formalising the double-pushout approach to graph transformation
- Proof auditing formalised mathematics
- Incorporating quotation and evaluation into Church's type theory
- Formal proof - the four color theorem
- What is the point of computers? A question for pure mathematicians
- Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
- Formalizing physics: automation, presentation and foundation issues
- The Jordan Curve Theorem, Formally and Informally
This page was built for publication: The Four Colour Theorem: Engineering of a Formal Proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3598006)
