Abstract is missing.
- Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function CoefficientsSergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko. 1-14 [doi]
- Janet Bases and Resolutions in CoCoALibMario Albert, Matthias Fetzer, Werner M. Seiler. 15-29 [doi]
- Regular Chains under Linear Changes of Coordinates and ApplicationsParisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza. 30-44 [doi]
- A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space CurveParisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik. 45-60 [doi]
- Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical ModellingAndrei V. Banshchikov. 61-71 [doi]
- A New Approach for Computing Regular Solutions of Linear Difference SystemsMoulay A. Barkatou, Thomas Cluzeau, Carole El Bacha. 72-86 [doi]
- Solving Polynomial Systems in the Cloud with Polynomial Homotopy ContinuationNathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu. 87-100 [doi]
- Finding First Integrals Using Normal Forms Modulo Differential Regular ChainsFrançois Boulier, François Lemaire. 101-118 [doi]
- Simplification of Cylindrical Algebraic FormulasChangbo Chen, Marc Moreno Maza. 119-134 [doi]
- Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic AlgebraAlexandra Goeke, Sebastian Walcher, Eva Zerz. 135-151 [doi]
- Polynomial Complexity Recognizing a Tropical Linear VarietyDima Grigoriev. 152-157 [doi]
- Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential EquationsDima Grigoriev, Fritz Schwarz. 158-165 [doi]
- Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) GroupA. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, A. Pedrak. 166-181 [doi]
- Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance StatesAlexander Gusev, Luong Le Hai, Ochbadrakh Chuluunbaatar, V. Ulziibayar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Vitaly Rostovtsev. 182-197 [doi]
- Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of SatelliteSergey A. Gutnik, Anna Guerman, Vasily A. Sarychev. 198-209 [doi]
- Bounds for the Condition Number of Polynomials Systems with Integer Coefficients - (Invited Talk)Aaron Herman, Elias P. Tsigaridas. 210-219 [doi]
- On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force FieldsValentin Irtegov, Tatiana Titorenko. 220-232 [doi]
- Homotopy Analysis Method for Stochastic Differential Equations with MaximaMaciej Janowicz, Joanna Kaleta, Filip Krzyzewski, Marian Rusek, Arkadiusz Orlowski. 233-244 [doi]
- On the Topology and Visualization of Plane Algebraic CurvesKai Jin, Jin-San Cheng, Xiao-Shan Gao. 245-259 [doi]
- Piecewise-Quadratics and Reparameterizations for Interpolating Reduced DataRyszard Kozera, Lyle Noakes. 260-274 [doi]
- Parametric Solvable Polynomial Rings and ApplicationsHeinz Kredel. 275-291 [doi]
- Triangular Decomposition of Matrices in a DomainGennadi I. Malaschonok, Anton Scherbinin. 292-306 [doi]
- Automated Reasoning in Reduction Rings Using the Theorema SystemAlexander Maletzky. 307-321 [doi]
- On the Partial Analytical Solution of the Kirchhoff EquationDominik Ludewig Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit Alexander Sobottka, Andreas G. Weber. 322-333 [doi]
- Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard BasesKatsusuke Nabeshima, Shinichi Tajima. 334-348 [doi]
- Polynomial Real Root Isolation by Means of Root Radii ApproximationVictor Y. Pan, Liang Zhao. 349-360 [doi]
- Randomized Circulant and Gaussian Pre-processingVictor Y. Pan, Liang Zhao. 361-375 [doi]
- Symbolic Computation and Finite Element Methods - (Invited Talk)Veronika Pillwein. 376-390 [doi]
- Approximate Quantum Fourier Transform and Quantum Algorithm for Phase EstimationAlexander N. Prokopenya. 391-405 [doi]
- Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff PlatesMarkus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger. 406-423 [doi]
- Analysis of Reaction Network Systems Using Tropical GeometrySatya Swarup Samal, Dima Grigoriev, Holger Fröhlich, Ovidiu Radulescu. 424-439 [doi]
- Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like FunctionsZhikun She, Dan Song, Meilun Li. 440-456 [doi]
- A New Polynomial Bound and Its EfficiencyDoru Stefanescu. 457-467 [doi]
- Distance Evaluation Between an Ellipse and an EllipsoidAlexei Yu. Uteshev, Marina V. Yashina. 468-478 [doi]
- Algebraic General Solutions of First Order Algebraic ODEsNgoc Thieu Vo, Franz Winkler. 479-492 [doi]