| 2009 | Solution of algebraic riccati equations using the sum of roots. | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2009 | On factorization of multivariate polynomials over algebraic number and function fields. | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
| 2009 | Schemes for deterministic polynomial factoring. | Gbor Ivanyos, Marek Karpinski, Nitin Saxena |
| 2009 | Symbolic and algebraic methods in computational origami: invited talk. | Tetsuo Ida |
| 2009 | Variant real quantifier elimination: algorithm and application. | Hoon Hong, Mohab Safey El Din |
| 2009 | Submersive rational difference systems and their accessibility. | Miroslav Hals, lle Kotta, Ziming Li, Huaifu Wang, Chunming Yuan |
| 2009 | A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system. | Stef Graillat, Philippe Trebuchet |
| 2009 | Analyzing group based matrix multiplication algorithms. | Jon Gonzlez-Snchez, Laureano Gonzlez-Vega, Alejandro Piera-Nicols, Irene Polo-Blanco, Jorge Caravantes, Ignacio F. Ra |
| 2009 | A Grbner free alternative to solving and a geometric analogue to Cook's thesis. | Marc Giusti |
| 2009 | The number of decomposable univariate polynomials. extended abstract. | Joachim von zur Gathen |
| 2009 | Fast arithmetics in artin-schreier towers over finite fields. | Luca De Feo, ric Schost |
| 2009 | Solving systems of polynomial equations with symmetries using SAGBI-Grbner bases. | Jean-Charles Faugre, Sajjad Rahmany |
| 2009 | High order derivatives and decomposition of multivariate polynomials. | Jean-Charles Faugre, Ludovic Perret |
| 2009 | Interactions between computer algebra (Grbner bases) and cryptology. | Jean-Charles Faugre |
| 2009 | Multihomogeneous resultant formulae for systems with scaled support. | Ioannis Z. Emiris, Angelos Mantzaflaris |
| 2009 | On finding multiplicities of characteristic polynomial factors of black-box matrices. | Jean-Guillaume Dumas, Clment Pernet, B. David Saunders |
| 2009 | Size of coefficients of lexicographical Grobner bases: the zero-dimensional, radical and bivariate case. | Xavier Dahan |
| 2009 | A non-holonomic systems approach to special function identities. | Frdric Chyzak, Manuel Kauers, Bruno Salvy |
| 2009 | Computing cylindrical algebraic decomposition via triangular decomposition. | Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang |
| 2009 | Root isolation for bivariate polynomial systems with local generic position method. | Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 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 | Fast simplifications for Tarski formulas. | Christopher W. Brown |
| 2009 | Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. | Brice Boyer, Jean-Guillaume Dumas, Clment Pernet, Wei Zhou |
| 2009 | Fast algorithms for differential equations in positive characteristic. | Alin Bostan, ric Schost |