Keith O. Geddes

Publication Activity (10 Years)

Years Active: 1979-2005
Publications (10 Years): 0

Publications

Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes
Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. ISSAC (2005)
Keith O. Geddes, Ha Q. Le, Ziming Li
Differential rational normal forms and a reduction algorithm for hyperexponential func. ISSAC (2004)
Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le
Telescoping in the context of symbolic summation in Maple. J. Symb. Comput. 38 (4) (2004)
Keith O. Geddes, Wei Wei Zheng
Exploiting fast hardware floating point in high precision computation. ISSAC (2003)
Keith O. Geddes
Generating numerical ODE formulas via a symbolic calculus of divided differences. SIGSAM Bull. 33 (2) (1999)
Masoud Kavian, R. G. McLenaghan, Keith O. Geddes
Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. ISSAC (1997)
Masoud Kavian, R. G. McLenaghan, Keith O. Geddes
MapleTensor: Progress Report on a New System for Performing Indicial and Component Tensor Calculations Using Symbolic Computation. ISSAC (1996)
Keith O. Geddes, Gregory J. Fee
Hybrid Symbolic-Numeric Integration in MAPLE. ISSAC (1992)
Keith O. Geddes, M. Lawrence Glasser, Reg A. Moore, Tony C. Scott
Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions. Appl. Algebra Eng. Commun. Comput. 1 (1990)
Keith O. Geddes, L. Yohanes Stefanus
On the Risch-Norman Integration Method and Its Implementation in MAPLE. ISSAC (1989)
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet
GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. J. Symb. Comput. 7 (1) (1989)
Keith O. Geddes, Tony C. Scott
Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms. Computers and Mathematics (1989)
Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley
Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract) ISSAC (1988)
Keith O. Geddes, Gaston H. Gonnet
A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. ISSAC (1988)
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo
Computer algebra in the undergraduate mathematics classroom. SYMSAC (1986)
Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan
A Tutorial Introduction to Maple. J. Symb. Comput. 2 (2) (1986)
Keith O. Geddes
Numerical integration in a symbolic context. SYMSAC (1986)
Stephen R. Czapor, Keith O. Geddes
On implementing Buchberger's algorithm for Grobner bases. SYMSAC (1986)
Stephen R. Czapor, Keith O. Geddes
A Comparison of Algorithms for the Symbolic Computation of Padé Approximants. EUROSAM (Computation) (1984)
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet
GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation. EUROSAM (Computation) (1984)
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet
The maple symbolic computation system. SIGSAM Bull. 17 (3-4) (1983)
Gaston H. Gonnet, Bruce W. Char, Keith O. Geddes
Solution of a general system of equations. SIGSAM Bull. 17 (3-4) (1983)
Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet
The design of maple: A compact, portable and powerful computer algebra system. EUROCAL (1983)
Keith O. Geddes
Remark on "Algorithm 424: Clenshaw-Curtis Quadrature [O1]". ACM Trans. Math. Softw. 5 (2) (1979)
Keith O. Geddes
Symbolic Computation of Padé Approximants. ACM Trans. Math. Softw. 5 (2) (1979)
Keith O. Geddes
Convergence behavior of the Newton iteration for first order differential equations. EUROSAM (1979)