Abstract is missing.
- On the Differential and Full Algebraic Complexities of Operator Matrices TransformationsSergei A. Abramov. 1-14 [doi]
- Resolving Decompositions for Polynomial ModulesMario Albert, Werner M. Seiler. 15-29 [doi]
- Setup of Order Conditions for Splitting MethodsWinfried Auzinger, Wolfgang Herfort, Harald Hofstätter, Othmar Koch. 30-42 [doi]
- Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time IntegratorsWinfried Auzinger, Harald Hofstätter, Othmar Koch. 43-57 [doi]
- Improved Computation of Involutive BasesBentolhoda Binaei, Amir Hashemi, Werner M. Seiler. 58-72 [doi]
- Computing All Space Curve Solutions of Polynomial Systems by Polyhedral MethodsNathan Bliss, Jan Verschelde. 73-86 [doi]
- Algorithmic Computation of Polynomial AmoebasD. V. Bogdanov, A. A. Kytmanov, T. M. Sadykov. 87-100 [doi]
- Sparse Gaussian Elimination Modulo p: An UpdateCharles Bouillaguet, Claire Delaplace. 101-116 [doi]
- MathCheck2: A SAT+CAS Verifier for Combinatorial ConjecturesCurtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki. 117-133 [doi]
- Incompleteness, Undecidability and Automated Proofs - (Invited Talk)Cristian S. Calude, Declan Thompson. 134-155 [doi]
- A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and ApplicationsChangbo Chen, Wenyuan Wu. 156-171 [doi]
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial DegreeMatthew England, James H. Davenport. 172-192 [doi]
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical AlgorithmsMadalina Erascu. 193-211 [doi]
- Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue ProblemsAlexander Gusev, Vladimir P. Gerdt, Luong Le Hai, V. L. Derbov, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar. 212-227 [doi]
- Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point GroupsA. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, A. Pedrak, A. Szulerecka, A. Dobrowolski. 228-242 [doi]
- A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite EquilibriaSergey A. Gutnik, Vasily A. Sarychev. 243-254 [doi]
- Computer Algebra in High-Energy Physics (Invited Talk)Thomas Hahn. 255-275 [doi]
- A Note on Dynamic Gröbner Bases ComputationAmir Hashemi, Delaram Talaashrafi. 276-288 [doi]
- Qualitative Analysis of the Reyman - Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski TopValentin Irtegov, Tatiana Titorenko. 289-304 [doi]
- On Multiple Eigenvalues of a Matrix Dependent on a ParameterElizabeth A. Kalinina. 305-314 [doi]
- A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer ArithmeticGereon Kremer, Florian Corzilius, Erika Ábrahám. 315-335 [doi]
- Computing Characteristic Polynomials of Matrices of Structured PolynomialsMarshall Law, Michael B. Monagan. 336-348 [doi]
- Computing Sparse Representations of Systems of Rational FractionsFrançois Lemaire, Alexandre Temperville. 349-366 [doi]
- On the General Analytical Solution of the Kinematic Cosserat EquationsDominik L. Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Zahid Hossain, Ingmar H. Riedel-Kruse, Andreas G. Weber. 367-380 [doi]
- Using Sparse Interpolation in Hensel LiftingMichael B. Monagan, Baris Tuncer. 381-400 [doi]
- A Survey of Satisfiability Modulo TheoryDavid Monniaux. 401-425 [doi]
- Quadric Arrangement in Classifying Rigid Motions of a 3D Digital ImageKacper Pluta, Guillaume Moroz, Yukiko Kenmochi, Pascal Romon. 426-443 [doi]
- A Lower Bound for Computing Lagrange's Real Root BoundSwaroop N. Prabhakar, Vikram Sharma. 444-456 [doi]
- Enhancing the Extended Hensel Construction by Using Gröbner BasesTateaki Sasaki, Daiju Inaba. 457-472 [doi]
- Symbolic-Numerical Optimization and Realization of the Method of Collocations and Least Residuals for Solving the Navier-Stokes EquationsVasily P. Shapeev, Evgenii V. Vorozhtsov. 473-488 [doi]
- Pruning Algorithms for Pretropisms of Newton PolytopesJeff Sommars, Jan Verschelde. 489-503 [doi]
- Computational Aspects of a Bound of LagrangeDoru Stefanescu. 504-511 [doi]