• 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

• 2007
• 
  Francisco Botana, Tomás Recio:
  Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Lecture Notes in Computer Science 4869, Springer 2007, ISBN 978-3-540-77355-9 [contents]
• 2006
• 
  Xiaoyu Chen, Dongming Wang:
  Towards an Electronic Geometry Textbook. Automated Deduction in Geometry 2006: 1-23
• 
  Thomas C. Hales:
  Equidecomposable Quadratic Regions. Automated Deduction in Geometry 2006: 24-38
• 
  Predrag Janicic, Pedro Quaresma:
  Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry 2006: 39-51
• 
  Peter Lebmeir, Jürgen Richter-Gebert:
  Recognition of Computationally Constructed Loci. Automated Deduction in Geometry 2006: 52-67
• 
  Robert H. Lewis, Evangelos A. Coutsias:
  Algorithmic Search for Flexibility Using Resultants of Polynomial Systems. Automated Deduction in Geometry 2006: 68-79
• 
  Daniel Lichtblau:
  Cylinders Through Five Points: Complex and Real Enumerative Geometry. Automated Deduction in Geometry 2006: 80-97
• 
  Dominique Michelucci, Sebti Foufou:
  Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. Automated Deduction in Geometry 2006: 98-112
• 
  Antonio Montes, Tomás Recio:
  Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Automated Deduction in Geometry 2006: 113-138
• 
  Julien Narboux:
  Mechanical Theorem Proving in Tarski's Geometry. Automated Deduction in Geometry 2006: 139-156
• 
  Pavel Pech:
  On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. Automated Deduction in Geometry 2006: 157-170
• 
  Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
  A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. Automated Deduction in Geometry 2006: 171-188
• 
  Philip H. Todd:
  Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. Automated Deduction in Geometry 2006: 189-202
• 
  Lu Yang, Zhenbing Zeng:
  Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry 2006: 203-211