Search results for "proofs"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Peter Zeller 0001	Szpilrajn Extension Theorem.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Rose Bohrer	Interval Arithmetic on 32-bit Words.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Lars Hupel	A Verified Code Generator from Isabelle/HOL to CakeML.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Akihisa Yamada 0002, Jérémy Dubut	Complete Non-Orders and Fixed Points.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Fabian Immler	Laplace Transform.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Danijela Simic, Filip Maric, Pierre Boutry	Poincaré Disc Model.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Denis A. Nikiforov	Safe OCL.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Martin Rau	Multidimensional Binary Search Trees.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Rodrigo Raya, Manuel Eberl	Gauss Sums and the Pólya-Vinogradov Inequality.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Manuel Eberl	The Inversions of a List.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Asta Halkjær From	A Sequent Calculus for First-Order Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Lawrence C. Paulson	Fourier Series.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra	Kruskal's Algorithm for Minimum Spanning Forest.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff	A Formal Development of a Polychronous Polytimed Coordination Language.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Lars Hupel	An Algebra for Higher-Order Terms.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Peter Lammich, Tobias Nipkow	Priority Search Trees.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Pasquale Noce	An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Manuel Eberl	The Irrationality of ζ(3).	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Ralph Bottesch, Max W. Haslbeck, René Thiemann	Farkas' Lemma and Motzkin's Transposition Theorem.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Thibault Dardinier	Formalization of Multiway-Join Algorithms.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Julian Brunner 0001	Partial Order Reduction.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Asta Halkjær From	Epistemic Logic.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Manuel Eberl, Lawrence C. Paulson	The Prime Number Theorem.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Manuel Eberl	The Transcendence of π.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Max W. Haslbeck, Manuel Eberl, Tobias Nipkow	Treaps.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Christoph Traut, Fabian Immler	Taylor Models.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Bohua Zhan	Auto2 Prover.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Georg Struth	Quantales.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Alexander Maletzky	Signature-Based Gröbner Basis Algorithms.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Bohua Zhan	Verifying Imperative Programs using Auto2.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Friedrich Kurz, Mohammad Abdulaziz	Upper Bounding Diameters of State Spaces of Factored Transition Systems.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch	An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki, Wenda Li	Irrational Rapidly Convergent Series.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Sebastien Gouezel	Gromov Hyperbolicity.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Roy Overbeek	Formalization of Concurrent Revisions.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford	OpSets: Sequential Specifications for Replicated Datatypes.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Manuel Eberl	Randomised Binary Search Trees.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Anthony Bordg	The Localization of a Commutative Ring.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Simon Wimmer 0001, Johannes Hölzl	Probabilistic Timed Automata.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Jonas Keinholz	Matroids.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Felix Brandt 0001, Manuel Eberl, Christian Saile, Christian Stricker 0001	The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann	Formalization of Bachmair and Ganzinger's Ordered Resolution Prover.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002	A verified factorization algorithm for integer polynomials with polynomial complexity.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Christian Sternagel, René Thiemann	First-Order Terms.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Andreas Lochbihler, S. Reza Sefidgar	Constructive Cryptography in HOL.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Manuel Eberl	Pell's Equation.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Mohammad Abdulaziz, Lawrence C. Paulson	An Isabelle/HOL formalisation of Green's Theorem.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Julian Parsert, Cezary Kaliszyk	Von-Neumann-Morgenstern Utility Theorem.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Sebastiaan J. C. Joosten	Graph Saturation.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Manuel Eberl	Symmetric Polynomials.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Anthony Bordg	Projective Geometry.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki	Octonions.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Tobias Nipkow, Dániel Somogyi	Optimal Binary Search Trees.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Georg Struth	Properties of Orderings and Lattices.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel	A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Christoph Benzmüller, Dana S. Scott	Axiom Systems for Category Theory in Free Logic.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Manuel Eberl	The Error Function.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Simon Wimmer 0001	Hidden Markov Models.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Simon Wimmer 0001, Shuwei Hu, Tobias Nipkow	Monadification, Memoization and Dynamic Programming.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Lawrence C. Paulson	Quaternions.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Alexander Bentkamp	Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Tobias Nipkow, Stefan Dirix	Weight-Balanced Trees.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Conrad Watt	WebAssembly.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Bertram Felgenhauer	Minsky Machines.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Walter Guttmann	Aggregation Algebras.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Georg Struth	Transformer Semantics.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Andreas Lochbihler, Joshua Schneider 0001	Bounded Natural Functors with Covariance and Contravariance.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Lars Hupel	CakeML.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002	A verified LLL algorithm.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Jonas Rädle, Lars Hupel	Deriving generic class instances for datatypes.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Diego Marmsoler	A Theory of Architectural Design Patterns.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Fabian Immler, Bohua Zhan	Smooth Manifolds.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Wenda Li	The Budan-Fourier Theorem and Counting Real Roots with Multiplicity.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Maximilian P. L. Haslbeck, Tobias Nipkow	Hoare Logics for Time Bounds.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Mnacho Echenim	Pricing in discrete financial models.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Achim D. Brucker, Michael Herzberg	A Formal Model of the Document Object Model.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	David Fuenmayor, Christoph Benzmüller	Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Peter Lammich, Simon Wimmer 0001	VerifyThis 2018 - Polished Isabelle Solutions.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Filip Maric, Mirko Spasic, René Thiemann	An Incremental Simplex Algorithm with Unsatisfiable Core Generation.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
15	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Formal Network Models and Their Application to Firewall Policies.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Manuel Eberl	The Median-of-Medians Selection Algorithm.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Julian Brunner 0001	Büchi Complementation.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel	HOLCF-Prelude.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Manuel Eberl	Dirichlet Series.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Walter Guttmann	Stone-Kleene Relation Algebras.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Pasquale Noce	Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Peter Lammich, S. Reza Sefidgar	Formalizing Push-Relabel Algorithms.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Ben Blumson	Anselm's God in Isabelle/HOL.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	David Fuenmayor, Christoph Benzmüller	Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Manuel Eberl	Dirichlet L-Functions and Dirichlet's Theorem.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Lukas Bulwahn	Stewart's Theorem and Apollonius' Theorem.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Max Wagner, Denis Lohner	Minimal Static Single Assignment Form.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Lukas Bulwahn	The Falling Factorial of a Sum.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Manuel Eberl	The Mason-Stother's Theorem.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Manuel Eberl	Lower bound on comparison-based sorting algorithms.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Jonas Rädle	Orbit-Stabiliser Theorem with Application to Rotational Symmetries.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Walter Guttmann	Stone Relation Algebras.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Rose Bohrer	Differential Dynamic Logic.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Peter Lammich, S. Reza Sefidgar	Flow Networks and the Min-Cut-Max-Flow Theorem.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
15	Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel	Abstract Soundness.	Arch. Formal Proofs	2017	DBLP BibTeX RDF