Abstract is missing.
- Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple ExtensionsMahsa Ansari, Michael B. Monagan. 1-20 [doi]
- Generating Elementary Integrable ExpressionsRashid Barket, Matthew England 0001, Jürgen Gerhard. 21-38 [doi]
- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case StudyKlara Bernauer, Clemens Hofstadler, Georg Regensburger. 39-68 [doi]
- A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a HypersurfaceAlexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan. 69-89 [doi]
- Certified Study of Internal Solitary WavesAndré Galligo, Didier Clamond. 90-106 [doi]
- Root-Squaring for Root-FindingSoo Go, Victor Y. Pan, Pedro Soto. 107-127 [doi]
- Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex PotentialA. A. Gusev 0001, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, P. W. Wen, C. J. Lin, H. M. Jia, Luong Le Hai. 128-140 [doi]
- On the Complexity of Linear Algebra Operations over Algebraic Extension FieldsAmir Hashemi, Daniel Lichtblau. 141-161 [doi]
- Range Functions of Any Convergence Order and Their Amortized Complexity AnalysisKai Hormann, Chee Yap, Ya Shi Zhang. 162-182 [doi]
- Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic MethodsBo Huang, Xiaoliang Li, Wei Niu 0001, Shaofen Xie. 183-198 [doi]
- Non-principal Branches of Lambert W. A Tale of 2 CirclesJacob Imre, David J. Jeffrey. 199-212 [doi]
- On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical SystemValentin Irtegov, Tatiana Titorenko. 213-232 [doi]
- Solving Parametric Linear Systems Using Sparse Rational Function InterpolationAyoola Jinadu, Michael B. Monagan. 233-254 [doi]
- On the Distance to the Nearest Defective MatrixElizaveta Kalinina, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina. 255-271 [doi]
- Effective Algorithm for Computing Noetherian Operators of Positive Dimensional IdealsKatsusuke Nabeshima, Shinichi Tajima. 272-291 [doi]
- On the Structure and Generators of Differential Invariant AlgebrasPeter J. Olver. 292-311 [doi]
- An Algorithm for the Intersection Problem of Planar Parametric CurvesLing Tan, Bo Li, Bingwei Zhang, Jin-San Cheng. 312-329 [doi]
- A Symbolic-Numeric Method for Solving the Poisson Equation in Polar CoordinatesEvgenii V. Vorozhtsov. 330-349 [doi]
- Two Variants of Bézout Subresultants for Several Univariate PolynomialsWeidong Wang, Jing Yang. 350-369 [doi]
- Efficient Quotients of Non-commutative PolynomialsStephen M. Watt. 370-392 [doi]
- Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner SystemsMizuki Yoshizawa, Akira Terui, Masahiko Mikawa. 393-419 [doi]