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

• 2006
• 
  Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
  Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents]
• 2005
• 
  Götz Alefeld, Zhengyu Wang:
  Verification of Solutions for Almost Linear Complementarity Problems. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
  05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
  05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  James Demmel, Ioana Dumitriu, Olga Holtz:
  Toward accurate polynomial evaluation in rounded arithmetic (short report). Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Borbála Fazekas, Michael Plum, Christian Wieners:
  Enclosure for the Biharmonic Equation. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Christian Jansson:
  Rigorous Results in Combinatorial Optimization. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Christian Keil:
  Lurupa - Rigorous Error Bounds in Linear Programming. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Philippe Langlois, Stef Graillat, Nicolas Louvet:
  Compensated Horner Scheme. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
• 
  Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski:
  Integration of reliable algorithms into modeling software. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005