| 2007 | Real root-finding. | Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Guoliang Qian, Yuqing Tang |
| 2007 | Matched filtering a gravitational wave pulsar signal involving reciprocal gamma functions. | Marc Eric Normandin, Adam Vajda, Sree Ram Valluri |
| 2007 | A speed-up of the algorithm for computing comprehensive Grbner systems. | Katsusuke Nabeshima |
| 2007 | A computation of some multiply homogeneous superschemes from transitive permutation groups. | Izumi Miyamoto |
| 2007 | Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts. | P. Mihailescu, Franois Morain, ric Schost |
| 2007 | Component-level parallelization of triangular decompositions. | Marc Moreno Maza, Yuzhen Xie |
| 2007 | Multiprocessed parallelism support in ALDOR on SMPs and multicores. | Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie |
| 2007 | Numerical techniques for computing the inertia of products of matrices of rational numbers. | John P. May, B. David Saunders, David Harlan Wood |
| 2007 | Efficient matrix rank computation with application to the study of strongly regular graphs. | John P. May, David Saunders, Zhendong Wan |
| 2007 | Approximate GCDs of polynomials and SOS relaxation. | Bin Li, Jiawang Nie, Lihong Zhi |
| 2007 | Fast arithmetic for triangular sets: from theory to practice. | Xin Li, Marc Moreno Maza, ric Schost |
| 2007 | Multithreaded parallel implementation of arithmetic operations modulo a triangular set. | Xin Li, Marc Moreno Maza |
| 2007 | A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. | Hongbo Li |
| 2007 | Computing monodromy via parallel homotopy continuation. | Anton Leykin, Frank Sottile |
| 2007 | Grbner bases with respect to several term orderings and multivariate dimension polynomials. | Alexander B. Levin |
| 2007 | A fast hermite transform with applications to protein structure determination. | Greg Leibon, Daniel N. Rockmore, Gregory S. Chirikjian |
| 2007 | From quotient-difference to generalized eigenvalues and sparse polynomial interpolation. | Wen-shin Lee |
| 2007 | Computation of discrete comprehensive Grbner bases using modular dynamic evaluation. | Yosuke Kurata, Masayuki Noro |
| 2007 | Twenty-six moves suffice for Rubik's cube. | Daniel Kunkle, Gene Cooperman |
| 2007 | Inequivalent Hadamard matrices from orthogonal designs. | Ilias S. Kotsireas, Christos Koukouvinos |
| 2007 | Minimum converging precision of the QR-factorization algorithm for real polynomial GCD. | Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi |
| 2007 | Automating renormalization of quantum field theories. | A. D. Kennedy, Thomas Binoth, Thomas Rippon |
| 2007 | Symbolic summation with radical expressions. | Manuel Kauers, Carsten Schneider |
| 2007 | Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
| 2007 | On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. | Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi |