| 2005 | ISSAC | Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. | Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes |
| 2004 | ISSAC | Differential rational normal forms and a reduction algorithm for hyperexponential func. | Keith O. Geddes, Ha Q. Le, Ziming Li |
| 2003 | ISSAC | Exploiting fast hardware floating point in high precision computation. | Keith O. Geddes, Wei Wei Zheng |
| 1997 | ISSAC | Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. | Masoud Kavian, R. G. McLenaghan, Keith O. Geddes |
| 1996 | ISSAC | MapleTensor: Progress Report on a New System for Performing Indicial and Component Tensor Calculations Using Symbolic Computation. | Masoud Kavian, R. G. McLenaghan, Keith O. Geddes |
| 1992 | ISSAC | Hybrid Symbolic-Numeric Integration in MAPLE. | Keith O. Geddes, Gregory J. Fee |
| 1989 | ISSAC | On the Risch-Norman Integration Method and Its Implementation in MAPLE. | Keith O. Geddes, L. Yohanes Stefanus |
| 1988 | ISSAC | A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. | Keith O. Geddes, Gaston H. Gonnet |
| 1988 | ISSAC | Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract) | Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley |
| 1986 | ISSAC | Computer algebra in the undergraduate mathematics classroom. | Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo |
| 1986 | ISSAC | On implementing Buchberger's algorithm for Grobner bases. | Stephen R. Czapor, Keith O. Geddes |
| 1986 | ISSAC | Numerical integration in a symbolic context. | Keith O. Geddes |