• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 72 matches

• 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)

skipping 42 more matches