| 2011 | Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates. | Blent Karaszen, Anastasia Trofimova, Vyacheslav Tsybulin |
| 2011 | Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. | Hidenao Iwane, Akifumi Kira, Hirokazu Anai |
| 2011 | On Invariant Manifolds of Lagrange Systems. | Valentin Irtegov, Tatyana Titorenko |
| 2011 | Fast and Robust Symbolic Model Order Reduction with Analog Insydes. | Matthias Hauser, Christian Salzig, Alexander Dreyer |
| 2011 | Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. | William Hart, Andrew Novocin |
| 2011 | Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics. | Sergey A. Gutnik |
| 2011 | Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions. | Alexander A. Gusev, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev |
| 2011 | Involutive Division Generated by an Antigraded Monomial Ordering. | Vladimir P. Gerdt, Yuri A. Blinkov |
| 2011 | Knowledge-Based Automatic Generation of Partitioned Matrix Expressions. | Diego Fabregat-Traver, Paolo Bientinesi |
| 2011 | On Muldowney's Criteria for Polynomial Vector Fields with Constraints. | Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber |
| 2011 | Normal Forms of Two p: - q Resonant Polynomial Vector Fields. | Victor F. Edneral, Valery G. Romanovski |
| 2011 | Semi-algebraic Description of the Equilibria of Dynamical Systems. | Changbo Chen, Marc Moreno Maza |
| 2011 | On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem. | Dzmitry A. Budzko, Alexander N. Prokopenya |
| 2011 | On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. | Franois Boulier, Franois Lemaire, Alexandre Sedoglavic |
| 2011 | Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). | Franois Boulier, Franois Lemaire, Michel Petitot, Alexandre Sedoglavic |
| 2011 | Computations on Simple Games Using RelView. | Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart |
| 2011 | A Modular Approach for Beam Lines Design. | Serge N. Andrianov |
| 2011 | Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter. | Juan Gerardo Alczar |
| 2011 | Higher-Order Linear Differential Systems with Truncated Coefficients. | Sergei A. Abramov, Moulay A. Barkatou, Eckhard Pflgel |
| 2011 | A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields. | Sergey Abrahamyan, Melsik Kyureghyan |
| 2010 | Extending Clause Learning of SAT Solvers with Boolean Grbner Bases. | Christoph Zengler, Wolfgang Kchlin |
| 2010 | An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete. | Serguey V. Zemskov, Henk M. Jonkers, Fred J. Vermolen |
| 2010 | Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). | Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman |
| 2010 | Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions. | Evgenii V. Vorozhtsov |
| 2010 | GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials. | Akira Terui |