- 2022
- Thomas Ammer, Katharina Kreuzer:
Number Theoretic Transform. Arch. Formal Proofs 2022 (2022) - Mantas Baksys, Angeliki Koutsoukou-Argyraki:
Kneser's Theorem and the Cauchy-Davenport Theorem. Arch. Formal Proofs 2022 (2022) - Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock:
Digit Expansions. Arch. Formal Proofs 2022 (2022) - Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher:
Diophantine Equations and the DPRM Theorem. Arch. Formal Proofs 2022 (2022) - Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - Maksym Bortin:
From THE BOOK: Two Squares via Involutions. Arch. Formal Proofs 2022 (2022) - Achim D. Brucker:
Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML. Arch. Formal Proofs 2022 (2022) - Katherine Cordwell, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - Nils Cremer:
Maximum Segment Sum. Arch. Formal Proofs 2022 (2022) - Aaron Crighton:
p-adic Fields and p-adic Semialgebraic Sets. Arch. Formal Proofs 2022 (2022) - Christian Dalvit, René Thiemann:
A Verified Translation of Multitape Turing Machines into Singletape Turing Machines. Arch. Formal Proofs 2022 (2022) - Thibault Dardinier:
Formalization of a Framework for the Sound Automation of Magic Wands. Arch. Formal Proofs 2022 (2022) - Thibault Dardinier:
A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand. Arch. Formal Proofs 2022 (2022) - Thibault Dardinier:
Unbounded Separation Logic. Arch. Formal Proofs 2022 (2022) - Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer:
The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections. Arch. Formal Proofs 2022 (2022) - Matthew Doty:
Risk-Free Lending. Arch. Formal Proofs 2022 (2022) - Matthew Doty:
Birkhoff's Representation Theorem For Finite Distributive Lattices. Arch. Formal Proofs 2022 (2022) - Matthew Doty:
Class-based Classical Propositional Logic. Arch. Formal Proofs 2022 (2022) - Manuel Eberl:
A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent. Arch. Formal Proofs 2022 (2022) - Manuel Eberl:
The Sophomore's Dream. Arch. Formal Proofs 2022 (2022) - Manuel Eberl:
Pólya's Proof of the Weighted Arithmetic-Geometric Mean Inequality. Arch. Formal Proofs 2022 (2022) - Mnacho Echenim:
Simultaneous diagonalization of pairwise commuting Hermitian matrices. Arch. Formal Proofs 2022 (2022) - Chelsea Edmonds:
Undirected Graph Theory. Arch. Formal Proofs 2022 (2022) - Chelsea Edmonds, Lawrence C. Paulson:
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics. Arch. Formal Proofs 2022 (2022) - Jacques D. Fleuriot, Lawrence C. Paulson:
Constructing the Reals as Dedekind Cuts of Rationals. Arch. Formal Proofs 2022 (2022) - Asta Halkjær From:
A Naive Prover for First-Order Logic. Arch. Formal Proofs 2022 (2022) - Asta Halkjær From, Frederik Krogsdal Jacobsen:
A Sequent Calculus Prover for First-Order Logic with Functions. Arch. Formal Proofs 2022 (2022) - Asta Halkjær From, Jørgen Villadsen:
Soundness and Completeness of Implicational Logic. Arch. Formal Proofs 2022 (2022) - Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg:
Transitive Models of Fragments of ZFC. Arch. Formal Proofs 2022 (2022) - Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg:
The Independence of the Continuum Hypothesis in Isabelle/ZF. Arch. Formal Proofs 2022 (2022)
