Abstract is missing.
- On the Dimension of Solution Spaces of Full Rank Linear Differential SystemsSergei A. Abramov, Moulay A. Barkatou. 1-9 [doi]
- Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots ProblemDanko Adrovic, Jan Verschelde. 10-29 [doi]
- Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension OneParisa Alvandi, Changbo Chen, Marc Moreno Maza. 30-45 [doi]
- On Consistency of Finite Difference Approximations to the Navier-Stokes EquationsPierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala. 46-60 [doi]
- Faster Sparse Interpolation of Straight-Line ProgramsAndrew Arnold, Mark Giesbrecht, Daniel S. Roche. 61-74 [doi]
- On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the ParameterAlexander D. Bruno, Victor F. Edneral. 75-87 [doi]
- Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction CoordinatesHassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber 0004. 88-99 [doi]
- Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core SystemsMickaël Gastineau, Jacques Laskar. 100-115 [doi]
- Simulation of Quantum Error Correction with MathematicaVladimir P. Gerdt, Alexander N. Prokopenya. 116-129 [doi]
- From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk)Andreas Griewank. 130-135 [doi]
- Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small DegreesDima Grigoriev. 136-139 [doi]
- Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential EquationsDima Grigoriev, Fritz Schwarz. 140-147 [doi]
- Complexity in Tropical Algebra (Invited Talk)Dima Grigoriev. 148-154 [doi]
- Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator InteractionsAlexander Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Andrzej Gózdz, Evgenii Klimov. 155-168 [doi]
- Symbolic-Numerical Investigation of Gyrostat Satellite DynamicsSergey A. Gutnik, Vasily A. Sarychev. 169-178 [doi]
- On Stationary Sets of Euler's Equations on so(3, 1) and Their StabilityValentin Irtegov, Tatyana Titorenko. 179-193 [doi]
- An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula SimplificationHidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai. 194-208 [doi]
- Categories as Type Classes in the Scala Algebra SystemRaphael Jolly. 209-218 [doi]
- Enumeration of Schur Rings over the Group A 5Mikhail H. Klin, Matan Ziv-Av. 219-230 [doi]
- Generalized Bruhat Decomposition in Commutative DomainsGennadi I. Malaschonok. 231-242 [doi]
- Automatic Parallel Library Generation for General-Size Modular FFT AlgorithmsLingchuan Meng, Jeremy R. Johnson. 243-256 [doi]
- Extended QRGCD AlgorithmKosaku Nagasaka, Takaaki Masui. 257-272 [doi]
- Polynomial Evaluation and Interpolation and Transformations of Matrix StructuresVictor Y. Pan. 273-287 [doi]
- A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in GeometryEugenio Roanes-Lozano, Eugenio Roanes-Macías. 288-300 [doi]
- A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant CoefficientsMarkus Rosenkranz, Nalina Phisanbut. 301-314 [doi]
- Towards Industrial Application of Approximate Computer AlgebraTateaki Sasaki, Daiju Inaba, Fujio Kako. 315-330 [doi]
- A Note on Sekigawa's Zero Separation BoundStefan Schirra. 331-339 [doi]
- Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential SystemsDana Schlomiuk, Nicolae Vulpe. 340-354 [doi]
- Singularities of Implicit Differential Equations and Static BifurcationsWerner M. Seiler. 355-368 [doi]
- A Quantum Measurements Model of Hydrogen-Like Atoms in MapleLeonid A. Sevastianov, Alexander V. Zorin, Alexander Gorbachev. 369-380 [doi]
- CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes EquationsVasily P. Shapeev, Evgenii V. Vorozhtsov. 381-392 [doi]
- Construction of Classes of Irreducible Bivariate PolynomialsDoru Stefanescu. 393-400 [doi]
- Algebraic Attacks Using IP-SolversEhsan Ullah. 401-411 [doi]
- Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential FunctionsAlexei Yu. Uteshev, Marina V. Yashina. 412-426 [doi]
- Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive BarriersSergue I. Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Pavel Krassovitskiy. 427-442 [doi]