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

• 2022
• 
  Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko:
  On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs. CASC 2022: 18-28
• 
  Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza:
  Subresultant Chains Using Bézout Matrices. CASC 2022: 29-50
• 
  Andrei V. Banshchikov:
  Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria. CASC 2022: 51-61
• 
  Franz Brauße, Pieter Collins, Martin Ziegler:
  Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. CASC 2022: 62-82
• 
  Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis:
  Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves. CASC 2022: 83-102
• 
  Algirdas Deveikis, Alexander Gusev, Sergue I. Vinitsky, Yuri A. Blinkov, Andrzej Gózdz, Aleksandra Pedrak, Peter O. Hess:
  Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei. CASC 2022: 103-123
• 
  Mingyu Dong, Chenqi Mou:
  Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition. CASC 2022: 124-142
• 
  Rémi Imbach, Victor Y. Pan:
  Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles. CASC 2022: 143-164
• 
  Valentin Irtegov, Tatiana Titorenko:
  On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field. CASC 2022: 165-184
• 
  Ayoola Jinadu, Michael B. Monagan:
  An Interpolation Algorithm for Computing Dixon Resultants. CASC 2022: 185-205
• 
  Elizaveta Kalinina, Alexei Uteshev:
  Distance Evaluation to the Set of Matrices with Multiple Eigenvalues. CASC 2022: 206-224
• 
  Markus Lange-Hegermann, Daniel Robertz:
  On Boundary Conditions Parametrized by Analytic Functions. CASC 2022: 225-245
• 
  Marc Moreno Maza, Linxiao Wang:
  Computing the Integer Hull of Convex Polyhedral Sets. CASC 2022: 246-267
• 
  Philipp Nuspl, Veronika Pillwein:
  A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences. CASC 2022: 268-287
• 
  Alexander N. Prokopenya:
  Stability Analysis of Periodic Motion of the Swinging Atwood Machine. CASC 2022: 288-299
• 
  Tereso del Río, Matthew England:
  New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. CASC 2022: 300-317
• 
  Daisuke Takahashi:
  An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions. CASC 2022: 318-332
• 
  Jan Verschelde, Kylash Viswanathan:
  Locating the Closest Singularity in a Polynomial Homotopy. CASC 2022: 333-352
• 
  Evgenii V. Vorozhtsov, Sergey P. Kiselev:
  A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics. CASC 2022: 353-376
• 
  Michael N. Vrahatis:
  Survey on Generalizations of the Intermediate Value Theorem and Applications. CASC 2022: 1-17
• 
  Zhenbing Zeng, Yaochen Xu, Yu Chen, Zhengfeng Yang:
  A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC 2022: 377-396
• 
  François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov:
  Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings. Lecture Notes in Computer Science 13366, Springer 2022, ISBN 978-3-031-14787-6 [contents]