| 2010 | A Role of Symbolic Computations in Beam Physics. Serge N. Andrianov |
| 2010 | An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models. Ambedkar Dukkipati, Joel George Manathara |
| 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 | Computational Science in Armenia (Invited Talk). H. Marandjian, Yuri Shoukourian |
| 2010 | Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2010 | Computing Matrix Representations of Filiform Lie Algebras. Manuel Ceballos, Juan Núñez, Ángel F. Tenorio |
| 2010 | Construction of Irreducible Polynomials over Finite Fields. Sergey Abrahamyan |
| 2010 | Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions. Evgenii V. Vorozhtsov |
| 2010 | Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems. Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov |
| 2010 | Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. Christoph Zengler, Wolfgang Küchlin |
| 2010 | Factorization of Polynomials and GCD Computations for Finding Universal Denominators. Sergei A. Abramov, Amal Gheffar, Denis E. Khmelnov |
| 2010 | Fast Generalized Bruhat Decomposition. Gennadi I. Malaschonok |
| 2010 | From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk). Ernst W. Mayr |
| 2010 | GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials. Akira Terui |
| 2010 | Generic, Type-Safe and Object Oriented Computer Algebra Software. Heinz Kredel, Raphael Jolly |
| 2010 | Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden. Oleg Lobachev, Rita Loogen |
| 2010 | On Multivariate Homogeneous Polynomial Decomposition. Paula Bustillo, Jaime Gutierrez |
| 2010 | On Reduction of Lagrange Systems. Valentin Irtegov, Tatyana Titorenko |
| 2010 | On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point. Victor F. Edneral, Valery G. Romanovski |
| 2010 | One Class of Third-Order Linear ODE's. S. Yu. Slavyanov |
| 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 | Series Transformations to Improve and Extend Convergence. G. A. Kalugin, D. J. Jeffrey |
| 2010 | Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. Winfried Neun, Thomas Sturm, Stefan Vigerske |
| 2010 | Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models. A. A. Gusev, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev, Sergey I. Vinitsky, V. L. Derbov, Vladislav V. Serov |
| 2010 | Term Cancellations in Computing Floating-Point Gröbner Bases. Tateaki Sasaki, Fujio Kako |
| 2010 | Thomas Decomposition of Algebraic and Differential Systems. Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz |
| 2010 | Type Specialization in Aldor. Laurentiu Dragan, Stephen M. Watt |