| 2007 | Numerical local rings and local solution of nonlinear systems. | Barry H. Dayton |
| 2007 | Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography. | Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche |
| 2007 | Grbner bases: a sampler of recent developments. | David A. Cox |
| 2007 | The nearest polynomial of lower degree. | Robert M. Corless, Nargol Rezvani |
| 2007 | The solution of | Robert M. Corless, Hui Ding, David J. Jeffrey |
| 2007 | Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas. | Robert M. Corless, Dawit Assefa |
| 2007 | Non-associative grbner bases, finitely-presented lie rings and the engel condition. | Serena Cical, Willem A. de Graaf |
| 2007 | Motion planning for 6R-Robots: multiple tasks with constrained velocity and orientation of the end-effector. | Dmytro Chibisov, Ernst W. Mayr |
| 2007 | Border bases of positive dimensional polynomial ideals. | Yufu Chen, Xiaohui Meng |
| 2007 | Time-and space-efficient evaluation of some hypergeometric constants. | Howard Cheng, Guillaume Hanrot, Emmanuel Thom, Paul Zimmermann, Eugene V. Zima |
| 2007 | Complete numerical isolation of real zeros in zero-dimensional triangular systems. | Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap |
| 2007 | LinBox and future high performance computer algebra. | Bruce W. Char, B. David Saunders, Bryan S. Youse |
| 2007 | Towards a high-level implementation of flexible parallelism primitives for symbolic languages. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | A canonical form for piecewise defined functions. | Jacques Carette |
| 2007 | Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies. | Laurent Bus, Marc Dohm |
| 2007 | Differential forms in computational algebraic geometry. | Peter Brgisser, Peter Scheiblechner |
| 2007 | The complexity of quantifier elimination and cylindrical algebraic decomposition. | Christopher W. Brown, James H. Davenport |
| 2007 | G-graphs for the cage problem: a new upper bound. | Alain Bretto, Luc Gillibert |
| 2007 | Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems. | Murray R. Bremner, Michael J. Hancock, Yunfeng Piao |
| 2007 | Solving toeplitz- and vandermonde-like linear systems with large displacement rank. | Alin Bostan, Claude-Pierre Jeannerod, ric Schost |
| 2007 | Differential equations for algebraic functions. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Grgoire Lecerf, ric Schost |
| 2007 | Integer and polynomial multiplication: towards optimal toom-cook matrices. | Marco Bodrato, Alberto Zanoni |
| 2007 | Structured matrix-based methods for polynomial in-gcd: analysis and comparisons. | Dario Andrea Bini, Paola Boito |
| 2007 | High performance computing: the software challenges. | Michael A. Bauer |
| 2007 | Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach. | Moulay A. Barkatou, Eckhard Pflgel |