| 2010 | One Class of Third-Order Linear ODE's. | S. Yu. Slavyanov |
| 2010 | Term Cancellations in Computing Floating-Point Grbner Bases. | Tateaki Sasaki, Fujio Kako |
| 2010 | Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. | Winfried Neun, Thomas Sturm, Stefan Vigerske |
| 2010 | From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk). | Ernst W. Mayr |
| 2010 | Computational Science in Armenia (Invited Talk). | H. Marandjian, Yuri Shoukourian |
| 2010 | Fast Generalized Bruhat Decomposition. | Gennadi I. Malaschonok |
| 2010 | Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden. | Oleg Lobachev, Rita Loogen |
| 2010 | Generic, Type-Safe and Object Oriented Computer Algebra Software. | Heinz Kredel, Raphael Jolly |
| 2010 | Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems. | Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov |
| 2010 | Series Transformations to Improve and Extend Convergence. | G. A. Kalugin, D. J. Jeffrey |
| 2010 | On Reduction of Lagrange Systems. | Valentin Irtegov, Tatyana Titorenko |
| 2010 | Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models. | Alexander A. Gusev, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev, Sergey I. Vinitsky, Vladimir L. Derbov, Vladislav V. Serov |
| 2010 | On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point. | Victor F. Edneral, Valery G. Romanovski |
| 2010 | An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models. | Ambedkar Dukkipati, Joel George Manathara |
| 2010 | Type Specialization in Aldor. | Laurentiu Dragan, Stephen M. Watt |
| 2010 | Computing Matrix Representations of Filiform Lie Algebras. | Manuel Ceballos, Juan Nez, ngel F. Tenorio |
| 2010 | On Multivariate Homogeneous Polynomial Decomposition. | Paula Bustillo, Jaime Gutierrez |
| 2010 | Thomas Decomposition of Algebraic and Differential Systems. | Thomas Bchler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz |
| 2010 | A Role of Symbolic Computations in Beam Physics. | Serge N. Andrianov |
| 2010 | Factorization of Polynomials and GCD Computations for Finding Universal Denominators. | Sergei A. Abramov, Amal Gheffar, Denis E. Khmelnov |
| 2010 | Construction of Irreducible Polynomials over Finite Fields. | Sergey Abrahamyan |
| 2009 | Hybrid Solution of Two-Point Linear Boundary Value Problems. | Maha Youssef, Gerd Baumann |
| 2009 | New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc. | Evgenii V. Vorozhtsov |
| 2009 | Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity. | Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, Alexander A. Gusev, V. A. Rostovtsev |
| 2009 | Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra. | Clarita Saldarriaga Vargas |