• 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

• 2019
• 
  Maria Alberich-Carramiñana, Josep Àlvarez Montaner, Guillem Blanco:
  Effective computation of base points of ideals in two-dimensional local rings. J. Symb. Comput. 92: 93-109 (2019)
• 
  Carlos Améndola, Nathan Bliss, Isaac Burke, Courtney R. Gibbons, Martin Helmer, Serkan Hosten, Evan D. Nash, Jose Israel Rodriguez, Daniel Smolkin:
  The maximum likelihood degree of toric varieties. J. Symb. Comput. 92: 222-242 (2019)
• 
  Alexander Cant, Bettina Eick:
  Polynomials describing the multiplication in finitely generated torsion-free nilpotent groups. J. Symb. Comput. 92: 203-210 (2019)
• 
  Julien Chien, Sam Nelson:
  Virtual links with finite medial bikei. J. Symb. Comput. 92: 211-221 (2019)
• 
  James East, Attila Egri-Nagy, James D. Mitchell, Yann H. Péresse:
  Computing finite semigroups. J. Symb. Comput. 92: 110-155 (2019)
• 
  José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro:
  Computing the bound of an Ore polynomial. Applications to factorization. J. Symb. Comput. 92: 269-297 (2019)
• 
  Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker:
  New refiners for permutation group search. J. Symb. Comput. 92: 70-92 (2019)
• 
  Grégoire Lecerf:
  On the complexity of the Lickteig-Roy subresultant algorithm. J. Symb. Comput. 92: 243-268 (2019)
• 
  Zijia Li, Josef Schicho, Hans-Peter Schröcker:
  Factorization of motion polynomials. J. Symb. Comput. 92: 190-202 (2019)
• 
  Jinwang Liu, Dongmei Li, Weijun Liu:
  Some criteria for Gröbner bases and their applications. J. Symb. Comput. 92: 15-21 (2019)
• 
  Ivan Marin:
  Proof of the BMR conjecture for G₂₀ and G₂₁. J. Symb. Comput. 92: 1-14 (2019)
• 
  Scott McCallum, Adam Parusinski, Laurentiu Paunescu:
  Validity proof of Lazard's method for CAD construction. J. Symb. Comput. 92: 52-69 (2019)
• 
  Rok Pozar:
  Computing stable epimorphisms onto finite groups. J. Symb. Comput. 92: 22-30 (2019)
• 
  Markus Rosenkranz, Nitin Serwa:
  An integro-differential structure for Dirac distributions. J. Symb. Comput. 92: 156-189 (2019)
• 
  Adam W. Strzebonski, Elias P. Tsigaridas:
  Univariate real root isolation in an extension field and applications. J. Symb. Comput. 92: 31-51 (2019)