| 2009 | Faster real feasibility via circuit discriminants. | Frdric Bihan, J. Maurice Rojas, Casey E. Stella |
| 2009 | Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. | Anna Maria Bigatti, Eduardo Senz-de-Cabezn |
| 2009 | Chebyshev expansions for solutions of linear differential equations. | Alexandre Benot, Bruno Salvy |
| 2009 | Fraction-free computation of simultaneous pad approximants. | Bernhard Beckermann, George Labahn |
| 2009 | Algorithms for regular solutions of higher-order linear differential systems. | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
| 2009 | Principal intersection and bernstein-sato polynomial of an affine variety. | Daniel Andres, Viktor Levandovskyy, Jorge Martn-Morales |
| 2008 | Computing the multiplicity structure from geometric involutive form. | Xiaoli Wu, Lihong Zhi |
| 2008 | Implicitization and parametrization of quadratic surfaces with one simple base point. | Xuhui Wang, Falai Chen, Jiansong Deng |
| 2008 | Algebraic algorithms and coding theory. | Madhu Sudan |
| 2008 | Real root isolation for exp-log functions. | Adam W. Strzebonski |
| 2008 | Can we create a viable free open source alternative to magma, maple, mathematica and matlab? | William A. Stein |
| 2008 | Moving frames for laplace invariants. | Ekaterina Shemyakova, Elizabeth L. Mansfield |
| 2008 | The nearest polynomial with a zero in a given domain from a geometrical viewpoint. | Hiroshi Sekigawa |
| 2008 | Integro-differential polynomials and operators. | Markus Rosenkranz, Georg Regensburger |
| 2008 | Multi-modular algorithm for computing the splitting field of a polynomial. | Gunal Renault, Kazuhiro Yokoyama |
| 2008 | Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields. | Adrien Poteaux, Marc Rybowicz |
| 2008 | A rational decomposition-lemma for systems of linear differential-algebraic equations. | Eckhard Pflgel |
| 2008 | On generalized ln-surfaces in 4-space. | Martin Peternell, Boris Odehnal |
| 2008 | Digital atlases and difference forms. | Elizabeth L. Mansfield |
| 2008 | Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility. | Jess A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies |
| 2008 | Complex brackets, balanced complex differences, and applications in symbolic geometric computing. | Hongbo Li, Lei Huang |
| 2008 | The complete root classification of a parametric polynomial on an interval. | Songxin Liang, David J. Jeffrey, Marc Moreno Maza |
| 2008 | Numerical primary decomposition. | Anton Leykin |
| 2008 | Computational D-module theory with singular, comparison with other systems and two new algorithms. | Viktor Levandovskyy, Jorge Martn-Morales |
| 2008 | When does ( | Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie |