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

• 2010
• 
  Sergey Abrahamyan:
  Construction of Irreducible Polynomials over Finite Fields. CASC 2010: 1-3
• 
  Sergei A. Abramov, Amal Gheffar, Denis E. Khmelnov:
  Factorization of Polynomials and GCD Computations for Finding Universal Denominators. CASC 2010: 4-18
• 
  Serge N. Andrianov:
  A Role of Symbolic Computations in Beam Physics. CASC 2010: 19-30
• 
  Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz:
  Thomas Decomposition of Algebraic and Differential Systems. CASC 2010: 31-54
• 
  Paula Bustillo, Jaime Gutierrez:
  On Multivariate Homogeneous Polynomial Decomposition. CASC 2010: 55-60
• 
  Manuel Ceballos, Juan Núñez, Ángel F. Tenorio:
  Computing Matrix Representations of Filiform Lie Algebras. CASC 2010: 61-72
• 
  Laurentiu Dragan, Stephen M. Watt:
  Type Specialization in Aldor. CASC 2010: 73-84
• 
  Ambedkar Dukkipati, Joel George Manathara:
  An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models. CASC 2010: 85-96
• 
  Victor F. Edneral, Valery G. Romanovski:
  On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point. CASC 2010: 97-105
• 
  A. A. Gusev, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev, Sergey I. Vinitsky, V. L. Derbov, Vladislav V. Serov:
  Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models. CASC 2010: 106-122
• 
  Valentin Irtegov, Tatyana Titorenko:
  On Reduction of Lagrange Systems. CASC 2010: 123-133
• 
  G. A. Kalugin, D. J. Jeffrey:
  Series Transformations to Improve and Extend Convergence. CASC 2010: 134-147
• 
  Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov:
  Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems. CASC 2010: 148-161
• 
  Heinz Kredel, Raphael Jolly:
  Generic, Type-Safe and Object Oriented Computer Algebra Software. CASC 2010: 162-177
• 
  Oleg Lobachev, Rita Loogen:
  Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden. CASC 2010: 178-193
• 
  Gennadi I. Malaschonok:
  Fast Generalized Bruhat Decomposition. CASC 2010: 194-202
• 
  H. Marandjian, Yuri Shoukourian:
  Computational Science in Armenia (Invited Talk). CASC 2010: 203
• 
  Ernst W. Mayr:
  From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk). CASC 2010: 204
• 
  Winfried Neun, Thomas Sturm, Stefan Vigerske:
  Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. CASC 2010: 205-219
• 
  Tateaki Sasaki, Fujio Kako:
  Term Cancellations in Computing Floating-Point Gröbner Bases. CASC 2010: 220-231
• 
  S. Yu. Slavyanov:
  One Class of Third-Order Linear ODE's. CASC 2010: 232-237
• 
  Akira Terui:
  GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials. CASC 2010: 238-249
• 
  Evgenii V. Vorozhtsov:
  Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions. CASC 2010: 250-266
• 
  Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman:
  Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). CASC 2010: 267-279
• 
  Serguey V. Zemskov, Henk M. Jonkers, Fred J. Vermolen:
  An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete. CASC 2010: 280-292
• 
  Christoph Zengler, Wolfgang Küchlin:
  Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. CASC 2010: 293-302
• 
  Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov:
  Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings. Lecture Notes in Computer Science 6244, Springer 2010, ISBN 978-3-642-15273-3 [contents]