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

• 2005
• 
  Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
  Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005)
• 
  Sergio Antoy:
  Evaluation strategies for functional logic programming. J. Symb. Comput. 40(1): 875-903 (2005)
• 
  Joachim Apel, Ralf Hemmecke:
  Detecting unnecessary reductions in an involutive basis computation. J. Symb. Comput. 40(4-5): 1131-1149 (2005)
• 
  Björn Assmann, Bettina Eick:
  Computing polycyclic presentations for polycyclic rational matrix groups. J. Symb. Comput. 40(6): 1269-1284 (2005)
• 
  Laurent Busé, Marc Chardin:
  Implicitizing rational hypersurfaces using approximation complexes. J. Symb. Comput. 40(4-5): 1150-1168 (2005)
• 
  John J. Cannon, Derek F. Holt, Michael C. Slattery, Allan K. Steel:
  Computing subgroups of bounded index in a finite group. J. Symb. Comput. 40(2): 1013-1022 (2005)
• 
  William Y. C. Chen, Husam L. Saad:
  On the Gosper-Petkovs(ek representation of rational functions. J. Symb. Comput. 40(2): 955-963 (2005)
• 
  Aldo Conca, Jessica Sidman:
  Generic initial ideals of points and curves. J. Symb. Comput. 40(3): 1023-1038 (2005)
• 
  Mustapha Er-Riani, Olivier Séro-Guillaume:
  Shapes of liquid drops obtained using symbolic computation. J. Symb. Comput. 40(6): 1340-1360 (2005)
• 
  Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti:
  Some constructions for real algebraic curves. J. Symb. Comput. 40(4-5): 1169-1179 (2005)
• 
  Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, José María Ucha-Enríquez:
  Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials. J. Symb. Comput. 40(3): 1076-1086 (2005)
• 
  Sebastian Gann, Herwig Hauser:
  Perfect bases for differential equations. J. Symb. Comput. 40(2): 979-997 (2005)
• 
  Elizabeth Gasparim, Irena Swanson:
  Computing instanton numbers of curve singularities. J. Symb. Comput. 40(2): 965-978 (2005)
• 
  Karin Gatermann, Markus Eiswirth, Anke Sensse:
  Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems. J. Symb. Comput. 40(6): 1361-1382 (2005)
• 
  Karin Gatermann, Serkan Hosten:
  Computational algebra for bifurcation theory. J. Symb. Comput. 40(4-5): 1180-1207 (2005)
• 
  Rocío González-Díaz, Pedro Real:
  Simplification techniques for maps in simplicial topology. J. Symb. Comput. 40(4-5): 1208-1224 (2005)
• 
  Bernhard Gramlich, Salvador Lucas:
  Reduction strategies in rewriting and programming. J. Symb. Comput. 40(1): 745-747 (2005)
• 
  Christopher J. Hillar:
  Erratum to "Cyclic resultants" [J. Symbolic Comput. 39 (6) (2005) 653-669]. J. Symb. Comput. 40(3): 1126-1127 (2005)
• 
  Ilias S. Kotsireas, Alkiviadis G. Akritas, Stanly L. Steinberg, Michael J. Wester:
  Foreword to the special issue on Applications of computer algebra. J. Symb. Comput. 40(4-5): 1129-1130 (2005)
• 
  Nik Lygeros, Paul-Valère Marchand, Marc Massot:
  Enumeration and 3D representation of the stereo-isomers of alkane molecules. J. Symb. Comput. 40(4-5): 1225-1241 (2005)
• 
  Richard Moeckel:
  Sturm's algorithm and isolating blocks. J. Symb. Comput. 40(4-5): 1242-1255 (2005)
• 
  Josep Àlvarez Montaner:
  Operations with regular holonomic D-modules with support a normal crossing. J. Symb. Comput. 40(2): 999-1012 (2005)
• 
  José Méndez Omaña, Michael E. Pohst:
  Factoring polynomials over global fields II. J. Symb. Comput. 40(6): 1325-1339 (2005)
• 
  Jesús F. Palacián, Patricia Yanguas:
  Asymptotic invariant tori of perturbed two-body problems. J. Symb. Comput. 40(4-5): 1256-1268 (2005)
• 
  J. D. Phillips, Petr Vojtechovský:
  Linear groupoids and the associated wreath products. J. Symb. Comput. 40(3): 1106-1125 (2005)
• 
  Liqun Qi:
  Eigenvalues of a real supersymmetric tensor. J. Symb. Comput. 40(6): 1302-1324 (2005)
• 
  Pierre Réty, Julie Vuotto:
  Tree automata for rewrite strategies. J. Symb. Comput. 40(1): 749-794 (2005)
• 
  Manuel García Román, Socorro García Román:
  Gröbner bases and syzygies on bimodules over PBW algebras. J. Symb. Comput. 40(3): 1039-1052 (2005)
• 
  Josef Schicho, Ibolya Szilágyi:
  Numerical stability of surface implicitization. J. Symb. Comput. 40(6): 1291-1301 (2005)
• 
  Manfred Schmidt-Schauß, Klaus U. Schulz:
  Decidability of bounded higher-order unification. J. Symb. Comput. 40(2): 905-954 (2005)

skipping 5 more matches