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

• 1999
• 
  Xiao-Shan Gao, Dongming Wang, Lu Yang:
  Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, ISBN 3-540-66672-9 [contents]
• 1998
• 
  Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo:
  An Application of Automatic Theorem Proving in Computer Vision. Automated Deduction in Geometry 1998: 207-231
• 
  Andreas Dolzmann:
  Solving Geometric Problems with Real Quantifier Elimination. Automated Deduction in Geometry 1998: 14-29
• 
  Desmond Fearnley-Sander:
  Plane Euclidian Reasoning. Automated Deduction in Geometry 1998: 86-110
• 
  Jacques D. Fleuriot, Lawrence C. Paulson:
  Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Automated Deduction in Geometry 1998: 47-66
• 
  Xiao-Shan Gao:
  Automated Geometry Diagram Construction and Engineering Geometry. Automated Deduction in Geometry 1998: 232-257
• 
  Jae Yeol Lee:
  A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. Automated Deduction in Geometry 1998: 258-274
• 
  Hongbo Li:
  Some Applications of Clifford Algebra to Geometries. Automated Deduction in Geometry 1998: 156-179
• 
  Chuan-Zhong Li, Jing-Zhong Zhang:
  Readable Machine Solving in Geometry and ICAI Software MSG. Automated Deduction in Geometry 1998: 67-85
• 
  Zongying Ou, Jun Liu:
  Variant Geometry Analysis and Synthesis in Mechanical CAD. Automated Deduction in Geometry 1998: 275-286
• 
  Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang:
  Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry 1998: 130-155
• 
  Dongming Wang:
  Decomposing Algebraic Varieties. Automated Deduction in Geometry 1998: 180-206
• 
  Wu Wen-Tsün:
  Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. Automated Deduction in Geometry 1998: 1-13
• 
  Lu Yang, Xiaorong Hou, Bican Xia:
  Automated Discovering and Proving for Geometric Inequalities. Automated Deduction in Geometry 1998: 30-46
• 
  Haiquan Yang, Shugong Zhang, Guochen Feng:
  A Clifford Algebraic Method for Geometric Reasoning. Automated Deduction in Geometry 1998: 111-129