• 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 14 matches

• 2011
• 
  Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert:
  Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6877, Springer 2011, ISBN 978-3-642-25069-9 [contents]
• 2010
• 
  Susanne Apel, Jürgen Richter-Gebert:
  Cancellation Patterns in Automatic Geometric Theorem Proving. Automated Deduction in Geometry 2010: 1-33
• 
  Jacques D. Fleuriot:
  Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Automated Deduction in Geometry 2010: 34-50
• 
  Laurent Fuchs, Laurent Théry:
  A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry. Automated Deduction in Geometry 2010: 51-67
• 
  Michael Gerhäuser, Alfred Wassermann:
  Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. Automated Deduction in Geometry 2010: 68-77
• 
  Fadoua Ghourabi, Tetsuo Ida, Asem Kasem:
  Proof Documents for Automated Origami Theorem Proving. Automated Deduction in Geometry 2010: 78-97
• 
  Daniel Lichtblau:
  The Midpoint Locus of a Triangle in a Corner. Automated Deduction in Geometry 2010: 98-117
• 
  Dominique Michelucci:
  Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. Automated Deduction in Geometry 2010: 118-131
• 
  Dominique Michelucci:
  What Is a Line ? Automated Deduction in Geometry 2010: 132-151
• 
  Pavel Pech:
  On One Method of Proving Inequalities in Automated Way. Automated Deduction in Geometry 2010: 152-168
• 
  Pedro Quaresma:
  Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). Automated Deduction in Geometry 2010: 169-181
• 
  Phil Scott, Jacques D. Fleuriot:
  An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. Automated Deduction in Geometry 2010: 182-200
• 
  Sana Stojanovic, Vesna Pavlovic, Predrag Janicic:
  A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. Automated Deduction in Geometry 2010: 201-220
• 
  Yu Zou, Jingzhong Zhang:
  Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. Automated Deduction in Geometry 2010: 221-258