Keith O. Geddes

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