• 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

• 2016
• 
  Andrew Arnold, Mark Giesbrecht, Daniel S. Roche:
  Faster sparse multivariate polynomial interpolation of straight-line programs. J. Symb. Comput. 75: 4-24 (2016)
• 
  Carlos E. Arreche:
  On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters. J. Symb. Comput. 75: 25-55 (2016)
• 
  Van Chiên Bui, Gérard Duchamp, Vincel Hoang Ngoc Minh, Ladji Kane, Christophe Tollu:
  Dual bases for noncommutative symmetric and quasi-symmetric functions via monoidal factorization. J. Symb. Comput. 75: 56-73 (2016)
• 
  Changbo Chen, Marc Moreno Maza:
  Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput. 75: 74-93 (2016)
• 
  Volker Diekert, Jonathan Kausch:
  Logspace computations in graph products. J. Symb. Comput. 75: 94-109 (2016)
• 
  Madalina Erascu, Hoon Hong:
  Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). J. Symb. Comput. 75: 110-126 (2016)
• 
  Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
  Factoring linear partial differential operators in n variables. J. Symb. Comput. 75: 127-148 (2016)
• 
  José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro:
  An isomorphism test for modules over a non-commutative PID. Applications to similarity of Ore polynomials. J. Symb. Comput. 75: 149-170 (2016)
• 
  Bruno Grenet:
  Bounded-degree factors of lacunary multivariate polynomials. J. Symb. Comput. 75: 171-192 (2016)
• 
  Hideaki Izumi:
  The prompter method: A treatment for hard-to-solve iterative functional equations. J. Symb. Comput. 75: 193-208 (2016)
• 
  Erich L. Kaltofen, Zhengfeng Yang:
  Sparse multivariate function recovery with a small number of evaluations. J. Symb. Comput. 75: 209-218 (2016)
• 
  Yasuhito Kawano, Hiroshi Sekigawa:
  Quantum Fourier transform over symmetric groups - improved result. J. Symb. Comput. 75: 219-243 (2016)
• 
  Kosaku Nagasaka, Ágnes Szántó, Franz Winkler:
  Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. J. Symb. Comput. 75: 1-3 (2016)
• 
  Konstantin Ziegler:
  Tame decompositions and collisions. J. Symb. Comput. 75: 244-268 (2016)