Abstract is missing.
- Tropical Geometry of Biological Systems (Invited Talk)Ovidiu Radulescu. 1-13 [doi]
- Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)Werner M. Seiler, Matthias Seiß. 14-41 [doi]
- On the Complexity of Computing Integral Bases of Function FieldsSimon Abelard. 42-62 [doi]
- Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential EquationsSergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko. 63-76 [doi]
- On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference SchemesEdik A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying. 77-90 [doi]
- Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom-Cook Multiplication ApproachMarco Bodrato, Alberto Zanoni. 91-107 [doi]
- Power Series Arithmetic with the BPAS LibraryAlexander Brandt, Mahsa Kazemi, Marc Moreno Maza. 108-128 [doi]
- Enhancements to Lazard's Method for Cylindrical Algebraic DecompositionChristopher W. Brown, Scott McCallum. 129-149 [doi]
- The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial FactorizationTian Chen, Michael B. Monagan. 150-169 [doi]
- The GPGCD Algorithm with the Bézout MatrixBoming Chi, Akira Terui. 170-187 [doi]
- On Parametric Linear System SolvingRobert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders. 188-205 [doi]
- Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5)˟ SU(1, 1) GroupAlgirdas Deveikis, Alexander Gusev, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Gózdz, Aleksandra Pedrak, Cestmir Burdik, George S. Pogosyan. 206-227 [doi]
- Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide ModesDmitry V. Divakov, Anastasia A. Tiutiunnik, Anton L. Sevastianov. 228-244 [doi]
- Intrinsic Complexity for Constructing Zero-Dimensional Gröbner BasesAmir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó. 245-265 [doi]
- On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra MethodsValentin Irtegov, Tatiana Titorenko. 266-281 [doi]
- Complexity Estimates for Fourier-Motzkin EliminationRui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi. 282-306 [doi]
- Progress Report on the Scala Algebra SystemRaphael Jolly. 307-315 [doi]
- Routh - Hurwitz Stability of a Polynomial Matrix Family. Real PerturbationsElizaveta Kalinina, Yuri Smol'kin, Alexei Yu. Uteshev. 316-334 [doi]
- Hermite Rational Function Interpolation with Error CorrectionErich L. Kaltofen, Clément Pernet, Zhi-Hong Yang. 335-357 [doi]
- Good Pivots for Small Sparse MatricesManuel Kauers, Jakob Moosbauer. 358-367 [doi]
- Nullstellensatz-Proofs for Multiplier VerificationDaniela Kaufmann, Armin Biere. 368-389 [doi]
- "Mathemachines" via LEGO, GeoGebra and CindyJSZoltán Kovács. 390-401 [doi]
- Balanced NUCOMPSebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr.. 402-420 [doi]
- Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary OrderYang Liu, Dmitry A. Lyakhov, Dominik L. Michels. 421-430 [doi]
- Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision IterationsQi Luan, Victor Y. Pan, Won-geun Kim, Vitaly Zaderman. 431-446 [doi]
- Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface SingularitiesKatsusuke Nabeshima. 447-460 [doi]
- Acceleration of Subdivision Root-Finding for Sparse PolynomialsVictor Y. Pan. 461-477 [doi]
- Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational FieldAlexander N. Prokopenya, Mukhtar Zh. Minglibayev, Oralkhan Baisbayeva. 478-491 [doi]
- A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction NetworksHamid Rahkooy, Ovidiu Radulescu, Thomas Sturm 0001. 492-509 [doi]
- First-Order Tests for ToricityHamid Rahkooy, Thomas Sturm 0001. 510-527 [doi]
- Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra SystemEugenio Roanes-Lozano. 528-542 [doi]
- Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis DualityShinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima. 543-562 [doi]
- Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory ComputersSimon Telen, Marc Van Barel, Jan Verschelde. 563-582 [doi]
- Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two PolynomialsJihad Titi, Jürgen Garloff. 583-599 [doi]
- Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra MeansEvgenii V. Vorozhtsov, Sergey P. Kiselev. 600-620 [doi]
- Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like GroupsTao Zheng. 621-641 [doi]