| 2012 | A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers. Marco Bodrato, Alberto Zanoni |
| 2012 | A Note on the Space Complexity of Fast D-Finite Function Evaluation. Marc Mezzarobba |
| 2012 | A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. Mark Giesbrecht, Albert Heinle |
| 2012 | An Algebraic Characterization of Rainbow Connectivity. Prabhanjan Vijendra Ananth, Ambedkar Dukkipati |
| 2012 | Application of the Method of Asymptotic Solution to One Multi-Parameter Problem. Alexander B. Batkhin |
| 2012 | Approximately Singular Systems and Ill-Conditioned Polynomial Systems. Tateaki Sasaki, Daiju Inaba |
| 2012 | Calculation of Normal Forms of the Euler-Poisson Equations. Alexander D. Bruno, Victor F. Edneral |
| 2012 | Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics. Dima Grigoriev, Andreas Weber |
| 2012 | Comprehensive Involutive Systems. Vladimir P. Gerdt, Amir Hashemi |
| 2012 | Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2012 | Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber |
| 2012 | Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. Jing Yang, Dongming Wang, Hoon Hong |
| 2012 | Invariant Theory: Applications and Computations - (Invited Talk). Gregor Kemper |
| 2012 | Inversion Modulo Zero-Dimensional Regular Chains. Marc Moreno Maza, Éric Schost, Paul Vrbik |
| 2012 | Lightweight Abstraction for Mathematical Computation in Java. Pavel Bourdykine, Stephen M. Watt |
| 2012 | Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. Jia Li, Jin-San Cheng, Elias P. Tsigaridas |
| 2012 | On Fulton's Algorithm for Computing Intersection Multiplicities. Steffen Marcus, Marc Moreno Maza, Paul Vrbik |
| 2012 | On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations. Sergei A. Abramov, Marko Petkovsek |
| 2012 | Parallel Reduction of Matrices in Gröbner Bases Computations. Severin Neumann |
| 2012 | PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks. Satya Swarup Samal, Hassan Errami, Andreas Weber |
| 2012 | Quasi-stability versus Genericity. Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
| 2012 | Real and Complex Polynomial Root-Finding by Means of Eigen-Solving. Victor Y. Pan, Guoliang Qian, Ailong Zheng |
| 2012 | Root-Refining for a Polynomial Equation. Victor Y. Pan |
| 2012 | Sparse Polynomial Powering Using Heaps. Michael B. Monagan, Roman Pearce |
| 2012 | Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems. Katsusuke Nabeshima |
| 2012 | Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem. Dzmitry A. Budzko, Alexander N. Prokopenya |
| 2012 | Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations. Vasily P. Shapeev, Evgenii V. Vorozhtsov |
| 2012 | Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields. Alexander Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, Luong Le Hai, Vitaly Rostovtsev |
| 2012 | The Resonant Center Problem for a 2: -3 Resonant Cubic Lotka-Volterra System. Jaume Giné, Colin Christopher, Mateja Presern, Valery G. Romanovski, Natalie L. Shcheglova |
| 2012 | Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk). Kazuhiro Yokoyama |
| 2012 | Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. Zhikun She, Haoyang Li |