Search results for "proofs"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Akihisa Yamada 0002, Jérémy Dubut	Formalizing Results on Directed Sets.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Katharina Kreuzer	CRYSTALS-Kyber_Security.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Michikazu Hirata	Disintegration Theorem.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Thibault Dardinier	Formalization of Hyper Hoare Logic: A Logic to (Dis-)Prove Program Hyperproperties.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Sunpill Kim, Yong Kiam Tan	The Schwartz-Zippel Lemma.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Asta Halkjær From	Synthetic Completeness.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Michikazu Hirata	Standard Borel Spaces.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Katharina Kreuzer	Hardness of Lattice Problems.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Thibault Dardinier	Formalization of CommCSL: A Relational Concurrent Separation Logic for Proving Information Flow Security in Concurrent Programs.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Emin Karayel, Manuel Eberl	Executable Randomized Algorithms.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Emin Karayel, Yong Kiam Tan	Concentration Inequalities.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Georg Struth, Cameron Calk	Modal quantales, involutive quantales, Dedekind Quantales.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Javier Díaz	Metatheory of Q0.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Christian Dalvit	Zeckendorf's Theorem.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Shuwei Hu	ABY3 Multiplication and Array Shuffling.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	René Thiemann, Elias Wenninger	A Verified Efficient Implementation of the Weighted Path Order.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Manuel Eberl	Chebyshev Polynomials.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Nils Cremer	Tree Enumeration.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Lars Hupel	Fixed-length vectors.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Robert Sachtleben	Conformance Relations between Input/Output Languages.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely	No Faster-Than-Light Observers (GenRel).	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Stepan Holub, Martin Raska	Binary codes that do not preserve primitivity.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Mike Stannett	The Halting Problem is Soluble in Malament-Hogarth Spacetimes.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Jasmin Christian Blanchette, Qi Qiu, Sophie Tourret	Given Clause Loops.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Ata Keskin	Martingales.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Charles Staats	Positional Notation for Natural Numbers in an Arbitrary Base.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Stepan Holub, Stepán Starosta	Intersection of two monoids generated by two element codes.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Lukas Stevens	MLSS Decision Procedure.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Kevin Kappelmann	Unification Utilities for Isabelle/ML.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel	Labeled Transition Systems.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	A. Whitley	Cryptographic Standards.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Axel Kjeld Fjelrad Christfort, Søren Debois	DCR Syntax and Execution Equivalent Markings.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Kevin Kappelmann	Transport via Partial Galois Connections and Equivalences.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Michikazu Hirata, Yasuhiko Minamide	S-Finite Measure Monad on Quasi-Borel Spaces.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel	Pushdown Systems.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Martin Desharnais	A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Martin Rau	Earley Parser.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Matthew Doty	Suppes' Theorem For Probability Logic.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Manuel Eberl, Katharina Kreuzer	Perfect Fields.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Johannes Åman Pohjola, Magnus O. Myreen, Miki Tanaka	A Hoare Logic for Diverging Programs.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Matthew Doty	A Sound and Complete Calculus for Probability Inequalities.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Manuel Eberl	Two theorems about the geometry of the critical points of a complex polynomial.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Mnacho Echenim, Mehdi Mhalla, Coraline Mori	The CHSH inequality: Tsirelson's upper-bound and other results.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Chelsea Edmonds	Hypergraphs.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Kevin Lee, Zhengkun Ye, Angeliki Koutsoukou-Argyraki	Polygonal Number Theorem.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Georg Struth	Catoids, Categories, Groupoids.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Manuel Eberl	The Cardinality of the Continuum.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Lawrence C. Paulson	Knuth-Morris-Pratt String Search.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Benoît Ballenghien, Safouan Taha, Burkhart Wolff	HOL-CSPM - Architectural operators for HOL-CSP.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Lawrence C. Paulson	Euler's Polyhedron Formula.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Walter Guttmann	Cardinality and Representation of Stone Relation Algebras.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Walter Guttmann, Georg Struth	Inner Structure, Determinism and Modal Algebra of Multirelations.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Manuel Eberl	The Polylogarithm Function.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
15	Matthew Doty	Birkhoff's Representation Theorem For Finite Distributive Lattices.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher	Diophantine Equations and the DPRM Theorem.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	René Thiemann, Lukas Schmidinger	The Generalized Multiset Ordering is NP-Complete.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Chelsea Edmonds, Lawrence C. Paulson	Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Chelsea Edmonds	Undirected Graph Theory.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	René Thiemann	Duality of Linear Programming.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Thibault Dardinier	Formalization of a Framework for the Sound Automation of Magic Wands.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Lawrence C. Paulson	Ackermann's Function Is Not Primitive Recursive.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Alexander Lochmann	Reducing Rewrite Properties to Properties on Ground Terms.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Laura P. Gamboa Guzman	Stalnaker's Epistemic Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Matthew Doty	Risk-Free Lending.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Nils Cremer	Maximum Segment Sum.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	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	DBLP BibTeX RDF
15	Emin Karayel	Interpolation Polynomials (in HOL-Algebra).	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Seung Hoon Park	A Formal CHERI-C Memory Model.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Mantas Baksys, Angeliki Koutsoukou-Argyraki	Kneser's Theorem and the Cauchy-Davenport Theorem.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emin Karayel	Enumeration of Equivalence Relations.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emin Karayel	Formalization of Randomized Approximation Algorithms for Frequency Moments.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Stephan Merz, Vincent Trélat	Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Balázs Tóth, Tobias Nipkow	Real-Time Double-Ended Queue.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Aaron Crighton	p-adic Fields and p-adic Semialgebraic Sets.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	Khovanskii's Theorem.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Lawrence C. Paulson	Young's Inequality for Increasing Functions.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Jacques D. Fleuriot, Lawrence C. Paulson	Constructing the Reals as Dedekind Cuts of Rationals.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Pasquale Noce	A Reuse-Based Multi-Stage Compiler Verification for Language IMP.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Tobias Klenze, Christoph Sprenger 0001	IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Ata Keskin	Sauer-Shelah Lemma.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Manuel Eberl	The Sophomore's Dream.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Asta Halkjær From, Frederik Krogsdal Jacobsen	A Sequent Calculus Prover for First-Order Logic with Functions.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Thibault Dardinier	Unbounded Separation Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Jeffrey Ketland	Boolos's Curious Inference in Isabelle/HOL.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Lukas Stevens, Bernhard Stöckl	Verification of Query Optimization Algorithms.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg	The Independence of the Continuum Hypothesis in Isabelle/ZF.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Thomas Ammer, Katharina Kreuzer	Number Theoretic Transform.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Lawrence C. Paulson	Irrational numbers from THE BOOK.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg	Transitive Models of Fragments of ZFC.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	René Thiemann	Clique is not solvable by monotone circuits of polynomial size.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Christian Dalvit, René Thiemann	A Verified Translation of Multitape Turing Machines into Singletape Turing Machines.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Thibault Dardinier	A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emin Karayel	Universal Hash Families.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Alexander Lochmann, Bertram Felgenhauer	First-Order Theory of Rewriting.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Eugene W. Stark	Residuated Transition Systems.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Manuel Eberl	A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Robert Sachtleben	Verified Complete Test Strategies for Finite State Machines.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Achim D. Brucker	Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Lukas Koller	Knight's Tour Revisited Revisited.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Matthew Doty	Class-based Classical Propositional Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF