Convergence behavior of the Newton iteration for first order differential equations. - Keith O. Geddes (EUROSAM, 1979)

Symbolic Computation of Padé Approximants. - Keith O. Geddes (ACM Trans. Math. Softw., 1979)

Remark on "Algorithm 424: Clenshaw-Curtis Quadrature [O1]". - Keith O. Geddes (ACM Trans. Math. Softw., 1979)

The design of maple: A compact, portable and powerful computer algebra system. - Bruce W. Char; Keith O. Geddes; W. Morven Gentleman; Gaston H. Gonnet (EUROCAL, 1983)

The maple symbolic computation system. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet (SIGSAM Bull., 1983)

Solution of a general system of equations. - Gaston H. Gonnet; Bruce W. Char; Keith O. Geddes (SIGSAM Bull., 1983)

A Comparison of Algorithms for the Symbolic Computation of Padé Approximants. - Stephen R. Czapor; Keith O. Geddes (EUROSAM, 1984)

Computer algebra in the undergraduate mathematics classroom. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Beverly J. Marshman; Peter J. Ponzo (SYMSAC, 1986)

On implementing Buchberger's algorithm for Grobner bases. - Stephen R. Czapor; Keith O. Geddes (SYMSAC, 1986)

Numerical integration in a symbolic context. - Keith O. Geddes (SYMSAC, 1986)

A Tutorial Introduction to Maple. - Bruce W. Char; Gregory J. Fee; Keith O. Geddes; Gaston H. Gonnet; Michael B. Monagan (J. Symb. Comput., 1986)

A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. - Keith O. Geddes; Gaston H. Gonnet (ISSAC, 1988)

Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract) - Keith O. Geddes; Gaston H. Gonnet; Trevor J. Smedley (ISSAC, 1988)

Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms. - Keith O. Geddes; Tony C. Scott (Computers and Mathematics, 1989)

On the Risch-Norman Integration Method and Its Implementation in MAPLE. - Keith O. Geddes; L. Yohanes Stefanus (ISSAC, 1989)

GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet (J. Symb. Comput., 1989)

Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions. - Keith O. Geddes; M. Lawrence Glasser; Reg A. Moore; Tony C. Scott (Appl. Algebra Eng. Commun. Comput., 1990)

Maple V - library reference manual. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Benton L. Leong; Michael B. Monagan (Springer, 1991)

Maple V - language reference manual. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Benton L. Leong; Michael B. Monagan (Springer, 1991)

Algorithms for computer algebra. - Keith O. Geddes; Stephen R. Czapor; George Labahn (Kluwer, 1992)

Hybrid Symbolic-Numeric Integration in MAPLE. - Keith O. Geddes; Gregory J. Fee (ISSAC, 1992)

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 (ISSAC, 1996)

Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. - Masoud Kavian; R. G. McLenaghan; Keith O. Geddes (ISSAC, 1997)

Generating numerical ODE formulas via a symbolic calculus of divided differences. - Keith O. Geddes (SIGSAM Bull., 1999)

Exploiting fast hardware floating point in high precision computation. - Keith O. Geddes; Wei Wei Zheng (ISSAC, 2003)

Differential rational normal forms and a reduction algorithm for hyperexponential func. - Keith O. Geddes; Ha Q. Le; Ziming Li 002 (ISSAC, 2004)

Telescoping in the context of symbolic summation in Maple. - Sergei A. Abramov; Jacques Carette; Keith O. Geddes; Ha Q. Le (J. Symb. Comput., 2004)

Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. - Orlando A. Carvajal; Frederick W. Chapman; Keith O. Geddes (ISSAC, 2005)