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

• 2012
• 
  Sergei A. Abramov, Marko Petkovsek:
  On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations. CASC 2012: 1-11
• 
  Prabhanjan Vijendra Ananth, Ambedkar Dukkipati:
  An Algebraic Characterization of Rainbow Connectivity. CASC 2012: 12-21
• 
  Alexander B. Batkhin:
  Application of the Method of Asymptotic Solution to One Multi-Parameter Problem. CASC 2012: 22-33
• 
  Marco Bodrato, Alberto Zanoni:
  A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers. CASC 2012: 34-46
• 
  Pavel Bourdykine, Stephen M. Watt:
  Lightweight Abstraction for Mathematical Computation in Java. CASC 2012: 47-59
• 
  Alexander D. Bruno, Victor F. Edneral:
  Calculation of Normal Forms of the Euler-Poisson Equations. CASC 2012: 60-71
• 
  Dzmitry A. Budzko, Alexander N. Prokopenya:
  Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem. CASC 2012: 72-83
• 
  Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber:
  Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC 2012: 84-97
• 
  Vladimir P. Gerdt, Amir Hashemi:
  Comprehensive Involutive Systems. CASC 2012: 98-116
• 
  Mark Giesbrecht, Albert Heinle:
  A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. CASC 2012: 117-128
• 
  Jaume Giné, Colin Christopher, Mateja Presern, Valery G. Romanovski, Natalie L. Shcheglova:
  The Resonant Center Problem for a 2: -3 Resonant Cubic Lotka-Volterra System. CASC 2012: 129-142
• 
  Dima Grigoriev, Andreas Weber:
  Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics. CASC 2012: 143-154
• 
  Alexander Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, Luong Le Hai, Vitaly Rostovtsev:
  Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields. CASC 2012: 155-171
• 
  Amir Hashemi, Michael Schweinfurter, Werner M. Seiler:
  Quasi-stability versus Genericity. CASC 2012: 172-184
• 
  Gregor Kemper:
  Invariant Theory: Applications and Computations - (Invited Talk). CASC 2012: 185
• 
  Jia Li, Jin-San Cheng, Elias P. Tsigaridas:
  Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. CASC 2012: 186-197
• 
  Steffen Marcus, Marc Moreno Maza, Paul Vrbik:
  On Fulton's Algorithm for Computing Intersection Multiplicities. CASC 2012: 198-211
• 
  Marc Moreno Maza, Éric Schost, Paul Vrbik:
  Inversion Modulo Zero-Dimensional Regular Chains. CASC 2012: 224-235
• 
  Marc Mezzarobba:
  A Note on the Space Complexity of Fast D-Finite Function Evaluation. CASC 2012: 212-223
• 
  Michael B. Monagan, Roman Pearce:
  Sparse Polynomial Powering Using Heaps. CASC 2012: 236-247
• 
  Katsusuke Nabeshima:
  Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems. CASC 2012: 248-259
• 
  Severin Neumann:
  Parallel Reduction of Matrices in Gröbner Bases Computations. CASC 2012: 260-270
• 
  Victor Y. Pan:
  Root-Refining for a Polynomial Equation. CASC 2012: 283-293
• 
  Victor Y. Pan, Guoliang Qian, Ailong Zheng:
  Real and Complex Polynomial Root-Finding by Means of Eigen-Solving. CASC 2012: 271-282
• 
  Satya Swarup Samal, Hassan Errami, Andreas Weber:
  PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks. CASC 2012: 294-307
• 
  Tateaki Sasaki, Daiju Inaba:
  Approximately Singular Systems and Ill-Conditioned Polynomial Systems. CASC 2012: 308-320
• 
  Vasily P. Shapeev, Evgenii V. Vorozhtsov:
  Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations. CASC 2012: 321-333
• 
  Zhikun She, Haoyang Li:
  Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. CASC 2012: 334-348
• 
  Jing Yang, Dongming Wang, Hoon Hong:
  Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC 2012: 349-360
• 
  Kazuhiro Yokoyama:
  Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk). CASC 2012: 361-362

skipping 1 more match