Isabelle formalisation of original representation theorems
From MaRDI portal
Publication:6118819
DOI10.1007/978-3-031-42753-4_7arXiv2306.10558MaRDI QIDQ6118819
Publication date: 28 February 2024
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2306.10558
68Vxx: Computer science support for mathematical research and practice
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An example of formalizing recent mathematical results in MIZAR
- Isabelle/HOL. A proof assistant for higher-order logic
- A graph library for Isabelle
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
- Extending Sledgehammer with SMT solvers
- A verified algorithm enumerating event structures
- Incidence matrices and interval graphs
- Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem
- Some Considerations on the Usability of Interactive Provers
- Handbook of Graph Theory
- Asymptotic enumeration of full graphs
- Enumeration of Full Graphs: Onset of the Asymptotic Region