| 2012 | On Fulton's Algorithm for Computing Intersection Multiplicities. | Steffen Marcus, Marc Moreno Maza, Paul Vrbik |
| 2012 | Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. | Jia Li, Jin-San Cheng, Elias P. Tsigaridas |
| 2012 | Invariant Theory: Applications and Computations - (Invited Talk). | Gregor Kemper |
| 2012 | Quasi-stability versus Genericity. | Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
| 2012 | Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields. | Alexander A. Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, Luong Le Hai, Vitaly Rostovtsev |
| 2012 | Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics. | Dima Grigoriev, Andreas Weber |
| 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 | A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. | Mark Giesbrecht, Albert Heinle |
| 2012 | Comprehensive Involutive Systems. | Vladimir P. Gerdt, Amir Hashemi |
| 2012 | Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. | Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber |
| 2012 | Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem. | Dzmitry A. Budzko, Alexander N. Prokopenya |
| 2012 | Calculation of Normal Forms of the Euler-Poisson Equations. | Alexander D. Bruno, Victor F. Edneral |
| 2012 | Lightweight Abstraction for Mathematical Computation in Java. | Pavel Bourdykine, Stephen M. Watt |
| 2012 | A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers. | Marco Bodrato, Alberto Zanoni |
| 2012 | Application of the Method of Asymptotic Solution to One Multi-Parameter Problem. | Alexander B. Batkhin |
| 2012 | An Algebraic Characterization of Rainbow Connectivity. | Prabhanjan Vijendra Ananth, Ambedkar Dukkipati |
| 2012 | On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations. | Sergei A. Abramov, Marko Petkovsek |
| 2011 | Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics. | Miloslav Znojil |
| 2011 | Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk). | gnes Sznt |
| 2011 | Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. | Zhikun She, Bai Xue |
| 2011 | Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division. | Brian J. Murphy |
| 2011 | On Two-Generated Non-commutative Algebras Subject to the Affine Relation. | Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak |
| 2011 | Algebraic Structures as Typed Objects. | Heinz Kredel, Raphael Jolly |
| 2011 | Regular and Singular Boundary Problems in Maple. | Anja Korporal, Georg Regensburger, Markus Rosenkranz |
| 2011 | Computations in Finite Groups and Quantum Physics. | Vladimir V. Kornyak |