| 2007 | A Gröbner fan method for biochemical network modeling. Elena S. Dimitrova, Abdul Salam Jarrah, Reinhard C. Laubenbacher, Brandilyn Stigler |
| 2007 | A canonical form for piecewise defined functions. Jacques Carette |
| 2007 | A computation of some multiply homogeneous superschemes from transitive permutation groups. Izumi Miyamoto |
| 2007 | A disk-based parallel implementation for direct condensation of large permutation modules. Eric Robinson, Jürgen Müller, Gene Cooperman |
| 2007 | A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm. Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann |
| 2007 | A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. Hongbo Li |
| 2007 | A sparse modular GCD algorithm for polynomials over algebraic function fields. Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
| 2007 | A speed-up of the algorithm for computing comprehensive Gröbner systems. Katsusuke Nabeshima |
| 2007 | A straightening law for the Drinfel'd Lagrangian Grassmannian. James Ruffo |
| 2007 | Algorithmic differentiation in Axiom. Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi |
| 2007 | Certification of the QR factor R and of lattice basis reducedness. Gilles Villard |
| 2007 | Complete numerical isolation of real zeros in zero-dimensional triangular systems. Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap |
| 2007 | Complexity of real root isolation using continued fractions. Vikram Sharma |
| 2007 | Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. Yosuke Kurata, Masayuki Noro |
| 2007 | Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach. Moulay A. Barkatou, Eckhard Pflügel |
| 2007 | Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts. P. Mihailescu, François Morain, Éric Schost |
| 2007 | Counting reducible and singular bivariate polynomials. Joachim von zur Gathen |
| 2007 | Differential equations for algebraic functions. Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost |
| 2007 | Differential forms in computational algebraic geometry. Peter Bürgisser, Peter Scheiblechner |
| 2007 | Efficient matrix rank computation with application to the study of strongly regular graphs. John P. May, David Saunders, Zhendong Wan |
| 2007 | Fast and exact geometric analysis of real algebraic plane curves. Arno Eigenwillig, Michael Kerber, Nicola Wolpert |
| 2007 | Fast arithmetic for triangular sets: from theory to practice. Xin Li, Marc Moreno Maza, Éric Schost |
| 2007 | Faster algorithms for the characteristic polynomial. Clément Pernet, Arne Storjohann |
| 2007 | Faster inversion and other black box matrix computations using efficient block projections. Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard |
| 2007 | G-graphs for the cage problem: a new upper bound. Alain Bretto, Luc Gillibert |
| 2007 | Generating symmetric DFTs and equivariant FFT algorithms. Jeremy Johnson, Xu Xu |
| 2007 | Gröbner bases with respect to several term orderings and multivariate dimension polynomials. Alexander B. Levin |
| 2007 | Gröbner bases: a sampler of recent developments. David A. Cox |
| 2007 | Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies. Laurent Busé, Marc Dohm |
| 2007 | Integer and polynomial multiplication: towards optimal toom-cook matrices. Marco Bodrato, Alberto Zanoni |
| 2007 | Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas. Robert M. Corless, Dawit Assefa |
| 2007 | Loewy decomposition of linear differential equations. Fritz Schwarz |
| 2007 | Minimum converging precision of the QR-factorization algorithm for real polynomial GCD. Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi |
| 2007 | Non-associative gröbner bases, finitely-presented lie rings and the engel condition. Serena Cicalò, Willem A. de Graaf |
| 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 | On exact and approximate interpolation of sparse rational functions. Erich L. Kaltofen, Zhengfeng Yang |
| 2007 | On real factors of real interval polynomials. Hiroshi Sekigawa |
| 2007 | On the complexity of real solving bivariate systems. Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas |
| 2007 | Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2007 | Solving third order linear differential equations in terms of second order equations. Mark van Hoeij |
| 2007 | Solving toeplitz- and vandermonde-like linear systems with large displacement rank. Alin Bostan, Claude-Pierre Jeannerod, Éric Schost |
| 2007 | Some recent progress in exact linear algebra and related questions. Gilles Villard |
| 2007 | Structured matrix methods for polynomial root-finding. Luca Gemignani |
| 2007 | Structured matrix-based methods for polynomial in-gcd: analysis and comparisons. Dario Andrea Bini, Paola Boito |
| 2007 | Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings Dongming Wang |
| 2007 | Symbolic summation with radical expressions. Manuel Kauers, Carsten Schneider |
| 2007 | Symbolic-numeric computation of implicit riquier bases for PDE. Wenyuan Wu, Greg Reid |
| 2007 | Systems of three polynomials with two separated variables. Mohamed Elkadi, André Galligo |
| 2007 | The complexity of quantifier elimination and cylindrical algebraic decomposition. Christopher W. Brown, James H. Davenport |
| 2007 | The isomorphism problem for cyclic algebras and an application. Timo Hanke |
| 2007 | The solution of Robert M. Corless, Hui Ding, David J. Jeffrey |
| 2007 | Time-and space-efficient evaluation of some hypergeometric constants. Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima |
| 2007 | Towards a new ode solver based on cartan's equivalence method. Raouf Dridi, Michel Petitot |
| 2007 | Twenty-six moves suffice for Rubik's cube. Daniel Kunkle, Gene Cooperman |