Search results for "proofs"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato 0001	Quasi-Borel Spaces.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emin Karayel	Median Method.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Lawrence C. Paulson	Wetzel's Problem and the Continuum Hypothesis.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Mnacho Echenim	Simultaneous diagonalization of pairwise commuting Hermitian matrices.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Maksym Bortin	From THE BOOK: Two Squares via Involutions.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Martin Raszyk	Multi-Head Monitoring of Metric Dynamic Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Yosuke Ito	Actuarial Mathematics.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Manuel Eberl	Pólya's Proof of the Weighted Arithmetic-Geometric Mean Inequality.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Martin Raszyk, Dmitriy Traytel	Making Arbitrary Relational Calculus Queries Safe-Range.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emin Karayel	A Combinator Library for Prefix-Free Codes.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	The Plünnecke-Ruzsa Inequality.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Asta Halkjær From	A Naive Prover for First-Order Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Nils Lauermann	Turán's Graph Theorem.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Asta Halkjær From, Jørgen Villadsen	Soundness and Completeness of Implicational Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe	Automation of Boolos' Curious Inference in Isabelle/HOL.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Paul Hofmeier, Emin Karayel	Combinatorial Enumeration Algorithms.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Katherine Cordwell, Yong Kiam Tan, André Platzer	A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Diego Marmsoler, Achim D. Brucker	Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer	The Hales-Jewett Theorem.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Katharina Kreuzer	CRYSTALS-Kyber.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds	The Balog-Szemerédi-Gowers Theorem.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Emin Karayel	Finite Fields.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock	Digit Expansions.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Daniel Kirchner	Abstract Object Theory.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Martin Raszyk	First-Order Query Evaluation.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
15	Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret	Belief Revision Theory.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Susannah Mansky	JinjaDCI: a Java semantics with dynamic class initialization.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	Roth's Theorem on Arithmetic Progressions.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Ben Blumson	Mereology.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Susannah Mansky	Regression Test Selection.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Benedikt Nordhoff	Information Flow Control via Dependency Tracking.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Manuel Eberl	The Laws of Large Numbers.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	José Manuel Rodríguez Caballero, Dominique Unruh	Complex Bounded Operators.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Nan Jiang	A data flow analysis algorithm for computing dominators.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	Szemerédi's Regularity Lemma.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	Conditional Transfer Rule.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Maximilian Schäffeler, Mohammad Abdulaziz	Markov Decision Processes with Rewards.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Jakub Kadziolka	Solution to the xkcd Blue Eyes puzzle.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Andreas Lochbihler, S. Reza Sefidgar	Constructive Cryptography in HOL: the Communication Modeling Aspect.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Dominique Unruh	Quantum and Classical Registers.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Chelsea Edmonds, Lawrence C. Paulson	Combinatorial Design Theory.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Aaron Crighton	Hensel's Lemma for the p-adic Integers.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Andrei Popescu 0001, Thomas Bauereiss	Fresh identifiers.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Walter Guttmann	Relational Forests.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	René Thiemann	The Sunflower Lemma of Erdős and Rado.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Joseph Thommes, Manuel Eberl	Finitely Generated Abelian Groups.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Niels Mündler	A Verified Imperative Implementation of B-Trees.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Christoph Benzmüller	Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Christoph Benzmüller, Sebastian Reiche	Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Tobias Nipkow	Gale-Shapley Algorithm.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Manuel Eberl, René Thiemann	Factorization of Polynomials with Algebraic Coefficients.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mark Wassell	MiniSail - A kernel language for the ISA specification language SAIL.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mnacho Echenim	Quantum projective measurements and the CHSH inequality.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Sebastiaan J. C. Joosten	Gale-Stewart Games.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Thomas Bauereiss, Andrei Popescu 0001	CoSMeDis: A confidentiality-verified distributed social media platform.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Christian Sternagel, René Thiemann, Akihisa Yamada 0002	A Formalization of Weighted Path Orders and Recursive Path Orders.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Jesús Aransay, Alejandro del Campo, Julius Michaelis	Simplicial Complexes and Boolean functions.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Andrei Popescu 0001, Peter Lammich, Thomas Bauereiss	CoCon: A Confidentiality-Verified Conference Management System.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Katharina Kreuzer, Manuel Eberl	Van der Waerden's Theorem.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Anthony Bordg, Lawrence C. Paulson, Wenda Li	Grothendieck's Schemes in Algebraic Geometry.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Alejandro Gómez-Londoño	Hood-Melville Queue.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink	SpecCheck - Specification-Based Testing for Isabelle/ML.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Roland Coghetto	Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Matthias Brun 0002, Sára Decova, Andrea Lattuada, Dmitriy Traytel	Formalization of Timely Dataflow's Progress Tracking Protocol.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	Extension of Types-To-Sets.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Thomas Bauereiss, Andrei Popescu 0001	Compositional BD Security.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	IDE: Introduction, Destruction, Elimination.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Maximilian Schäffeler, Mohammad Abdulaziz	Verified Algorithms for Solving Markov Decision Processes.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer	Verified Quadratic Virtual Substitution for Real Arithmetic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Manuel Eberl	Formal Puiseux Series.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Walter Guttmann	Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Ralph Bottesch, Jose Divasón, René Thiemann	Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Asta Halkjær From	Public Announcement Logic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot	Schutz' Independent Axioms for Minkowski Spacetime.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Jakub Kadziolka	Lifting the Exponent.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Katherine Cordwell, Yong Kiam Tan, André Platzer	The BKR Decision Procedure for Univariate Real Arithmetic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Stepan Holub, Martin Raska, Stepán Starosta	Combinatorics on Words Basics.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Pasquale Noce	Logging-independent Message Anonymity in the Relational Method.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel	Regular Tree Relations.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Fox Thomson, Wenda Li	The Theorem of Three Circles.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	Conditional Simplification.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	René Thiemann	Solving Cubic and Quartic Equations.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Asta Halkjær From	Soundness and Completeness of an Axiomatic System for First-Order Logic.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Stepan Holub, Stepán Starosta	Graph Lemma.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Marie Cousin, Mnacho Echenim, Hervé Guiol	The Hahn and Jordan Decomposition Theorems.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Jacques D. Fleuriot	Real Exponents as the Limits of Sequences of Rational Exponents.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Thomas Bauereiss, Andrei Popescu 0001	CoSMed: A confidentiality-verified social media platform.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Manuel Eberl	The Hermite-Lindemann-Weierstraß Transcendence Theorem.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran	X86 instruction semantics and basic block symbolic execution.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Stepan Holub, Stepán Starosta	Lyndon words.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Thomas Ammer, Peter Lammich	van Emde Boas Trees.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Pasquale Noce	A Shorter Compiler Correctness Proof for Language IMP.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Mihails Milehins	Category Theory for ZFC in HOL III: Universal Constructions.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Fumiya Iwama	Foundation of geometry in planes, and some complements: Excluding the parallel axioms.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Filip Smola, Jacques D. Fleuriot	Hyperdual Numbers and Forward Differentiation.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Peter Gammie	Putting the 'K' into Bird's derivation of Knuth-Morris-Pratt string matching.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Mohammad Abdulaziz, Friedrich Kurz	Verified SAT-Based AI Planning.	Arch. Formal Proofs	2020	DBLP BibTeX RDF