| 2009 | A Gröbner free alternative to solving and a geometric analogue to Cook's thesis. Marc Giusti |
| 2009 | A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system. Stef Graillat, Philippe Trebuchet |
| 2009 | A non-holonomic systems approach to special function identities. Frédéric Chyzak, Manuel Kauers, Bruno Salvy |
| 2009 | A skew polynomial approach to integro-differential operators. Georg Regensburger, Markus Rosenkranz, Johannes Middeke |
| 2009 | Algorithms for regular solutions of higher-order linear differential systems. Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
| 2009 | An iterative method for calculating approximate GCD of univariate polynomials. Akira Terui |
| 2009 | Analyzing group based matrix multiplication algorithms. Jon González-Sánchez, Laureano González-Vega, Alejandro Piñera-Nicolás, Irene Polo-Blanco, Jorge Caravantes, Ignacio F. Rúa |
| 2009 | Automatic synthesis of high performance mathematical programs. Markus Püschel |
| 2009 | Biased tadpoles: a fast algorithm for centralizers in large matrix groups. Daniel Kunkle, Gene Cooperman |
| 2009 | Chebyshev expansions for solutions of linear differential equations. Alexandre Benoît, Bruno Salvy |
| 2009 | Computation of inverses in residue class rings of parametric polynomial ideals. Yosuke Sato, Akira Suzuki |
| 2009 | Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms. Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón |
| 2009 | Computation schemes for splitting fields of polynomials. Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama |
| 2009 | Computations modulo regular chains. Xin Li, Marc Moreno Maza, Wei Pan |
| 2009 | Computing cylindrical algebraic decomposition via triangular decomposition. Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang |
| 2009 | Computing with abstract matrix structures. Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2009 | Describing convex semialgebraic sets by linear matrix inequalities. Markus Schweighofer |
| 2009 | Efficient computation of order bases. Wei Zhou, George Labahn |
| 2009 | Exact numerical computation in algebra and geometry. Chee-Keng Yap |
| 2009 | Fast algorithms for differential equations in positive characteristic. Alin Bostan, Éric Schost |
| 2009 | Fast arithmetics in artin-schreier towers over finite fields. Luca De Feo, Éric Schost |
| 2009 | Fast simplifications for Tarski formulas. Christopher W. Brown |
| 2009 | Faster real feasibility via circuit discriminants. Frédéric Bihan, J. Maurice Rojas, Casey E. Stella |
| 2009 | Fraction-free computation of simultaneous padé approximants. Bernhard Beckermann, George Labahn |
| 2009 | H-LLL: using householder inside LLL. Ivan Morel, Damien Stehlé, Gilles Villard |
| 2009 | High order derivatives and decomposition of multivariate polynomials. Jean-Charles Faugère, Ludovic Perret |
| 2009 | Integer matrix rank certification. Arne Storjohann |
| 2009 | Interactions between computer algebra (Gröbner bases) and cryptology. Jean-Charles Faugère |
| 2009 | Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. Ana Romero, Graham Ellis, Julio Rubio |
| 2009 | Isolating real roots of real polynomials. Kurt Mehlhorn, Michael Sagraloff |
| 2009 | Large matrix, small rank. B. David Saunders, Bryan S. Youse |
| 2009 | Liouvillian solutions of irreducible linear difference equations. Yongjae Cha, Mark van Hoeij |
| 2009 | Lower bounds for zero-dimensional projections. W. Dale Brownawell, Chee-Keng Yap |
| 2009 | Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou |
| 2009 | Multihomogeneous resultant formulae for systems with scaled support. Ioannis Z. Emiris, Angelos Mantzaflaris |
| 2009 | On delineability of varieties in CAD-based quantifier elimination with two equational constraints. Scott McCallum, Christopher W. Brown |
| 2009 | On factorization of multivariate polynomials over algebraic number and function fields. Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
| 2009 | On finding multiplicities of characteristic polynomial factors of black-box matrices. Jean-Guillaume Dumas, Clément Pernet, B. David Saunders |
| 2009 | Parallel sparse polynomial multiplication using heaps. Michael B. Monagan, Roman Pearce |
| 2009 | Principal intersection and bernstein-sato polynomial of an affine variety. Daniel Andres, Viktor Levandovskyy, Jorge Martín-Morales |
| 2009 | Real root isolation for tame elementary functions. Adam W. Strzebonski |
| 2009 | Root isolation for bivariate polynomial systems with local generic position method. Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 2009 | Schemes for deterministic polynomial factoring. Gábor Ivanyos, Marek Karpinski, Nitin Saxena |
| 2009 | Size of coefficients of lexicographical Groöbner bases: the zero-dimensional, radical and bivariate case. Xavier Dahan |
| 2009 | Solution of algebraic riccati equations using the sum of roots. Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2009 | Solutions of polynomial systems derived from the steady cavity flow problem. Martin Mevissen, Kosuke Yokoyama, Nobuki Takayama |
| 2009 | Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases. Jean-Charles Faugère, Sajjad Rahmany |
| 2009 | Space- and time-efficient polynomial multiplication. Daniel S. Roche |
| 2009 | Submersive rational difference systems and their accessibility. Miroslav Halás, Ülle Kotta, Ziming Li, Huaifu Wang, Chunming Yuan |
| 2009 | Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings Jeremy R. Johnson, Hyungju Park, Erich L. Kaltofen |
| 2009 | Symbolic and algebraic methods in computational origami: invited talk. Tetsuo Ida |
| 2009 | The approximate irreducible factorization of a univariate polynomial: revisited. Zhonggang Zeng |
| 2009 | The number of decomposable univariate polynomials. extended abstract. Joachim von zur Gathen |
| 2009 | Variant real quantifier elimination: algorithm and application. Hoon Hong, Mohab Safey El Din |