Keith O. Geddes
University of Waterloo, Canada
http://www.scg.uwaterloo.ca/~kogeddes/
https://zbmath.org/authors/?q=ai:geddes.keith-o
https://mathgenealogy.org/id.php?id=66890
https://en.wikipedia.org/wiki/Keith_Geddes
https://www.wikidata.org/entity/Q3709693
https://id.loc.gov/authorities/names/n92066490
https://mathscinet.ams.org/mathscinet/MRAuthorID/72165
Orlando A. Carvajal
Frederick W. Chapman
Keith O. Geddes
Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series.
84-91
2005
conf/issac/2005
ISSAC
https://doi.org/10.1145/1073884.1073898
db/conf/issac/issac2005.html#CarvajalCG05
Sergei A. Abramov
Jacques Carette
Keith O. Geddes
Ha Q. Le
Telescoping in the context of symbolic summation in Maple.
1303-1326
2004
38
J. Symb. Comput.
4
https://doi.org/10.1016/j.jsc.2003.08.010
https://www.wikidata.org/entity/Q60712750
db/journals/jsc/jsc38.html#AbramovCGL04
Keith O. Geddes
Ha Q. Le
Ziming Li 0002
Differential rational normal forms and a reduction algorithm for hyperexponential func.
183-190
2004
conf/issac/2004
ISSAC
https://doi.org/10.1145/1005285.1005313
db/conf/issac/issac2004.html#GeddesLL04
Keith O. Geddes
Wei Wei Zheng
Exploiting fast hardware floating point in high precision computation.
111-118
2003
conf/issac/2003
ISSAC
https://doi.org/10.1145/860854.860886
db/conf/issac/issac2003.html#GeddesZ03
Keith O. Geddes
Generating numerical ODE formulas via a symbolic calculus of divided differences.
29-42
1999
33
SIGSAM Bull.
2
https://doi.org/10.1145/334714.334717
db/journals/cca/cca33.html#Geddes99
Keith O. Geddes
Bruno Salvy
Samuel S. Dooley
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999
ISSAC
ACM
1999
1-58113-073-2
db/conf/issac/issac99.html
http://dl.acm.org/citation.cfm?id=309831
Masoud Kavian
R. G. McLenaghan
Keith O. Geddes
Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials.
93-100
1997
conf/issac/1997
ISSAC
db/conf/issac/issac97.html#KavianMG97
https://doi.org/10.1145/258726.258759
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.
204-211
1996
conf/issac/1996
ISSAC
https://doi.org/10.1145/236869.237075
db/conf/issac/issac96.html#KavianMG96
Keith O. Geddes
Stephen R. Czapor
George Labahn
Algorithms for computer algebra.
I-XVIII, 1-585
Kluwer
1992
978-0-7923-9259-0
Keith O. Geddes
Gregory J. Fee
Hybrid Symbolic-Numeric Integration in MAPLE.
36-41
1992
conf/issac/1992
ISSAC
https://doi.org/10.1145/143242.143262
db/conf/issac/issac92.html#GeddesF92
Bruce W. Char
Keith O. Geddes
Gaston H. Gonnet
Benton L. Leong
Michael B. Monagan
Maple V - language reference manual.
I-XV, 1-267
Springer
1991
978-0-387-97622-8
Bruce W. Char
Keith O. Geddes
Gaston H. Gonnet
Benton L. Leong
Michael B. Monagan
Maple V - library reference manual.
I-XXV, 1-698
Springer
1991
978-0-387-97592-4
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.
149-165
1990
1
Appl. Algebra Eng. Commun. Comput.
db/journals/aaecc/aaecc1.html#GeddesGMS90
https://doi.org/10.1007/BF01810298
https://www.wikidata.org/entity/Q56638868
Bruce W. Char
Keith O. Geddes
Gaston H. Gonnet
GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation.
31-48
1989
7
J. Symb. Comput.
1
db/journals/jsc/jsc7.html#CharGG89
https://doi.org/10.1016/S0747-7171(89)80004-5
Keith O. Geddes
Tony C. Scott
Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms.
192-201
1989
Computers and Mathematics
https://doi.org/10.1007/978-1-4613-9647-5_24
conf/cm/1989
db/conf/cm/cm1989.html#GeddesS89
Keith O. Geddes
L. Yohanes Stefanus
On the Risch-Norman Integration Method and Its Implementation in MAPLE.
212-217
1989
conf/issac/1989
ISSAC
https://doi.org/10.1145/74540.74567
db/conf/issac/issac89.html#GeddesS89
Keith O. Geddes
Gaston H. Gonnet
Trevor J. Smedley
Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)
475-480
1988
conf/issac/1988
ISSAC
db/conf/issac/issac88.html#GeddesGS88
https://doi.org/10.1007/3-540-51084-2_45
Keith O. Geddes
Gaston H. Gonnet
A New Algorithm for Computing Symbolic Limits Using Hierarchical Series.
490-495
1988
conf/issac/1988
ISSAC
db/conf/issac/issac88.html#GeddesG88
https://doi.org/10.1007/3-540-51084-2_47
Bruce W. Char
Gregory J. Fee
Keith O. Geddes
Gaston H. Gonnet
Michael B. Monagan
A Tutorial Introduction to Maple.
179-200
1986
2
J. Symb. Comput.
2
db/journals/jsc/jsc2.html#CharFGGM86
https://doi.org/10.1016/S0747-7171(86)80021-9
Bruce W. Char
Keith O. Geddes
Gaston H. Gonnet
Beverly J. Marshman
Peter J. Ponzo
Computer algebra in the undergraduate mathematics classroom.
135-140
1986
SYMSAC
https://doi.org/10.1145/32439.32467
conf/issac/1986
db/conf/issac/symsac1986.html#CharGGMP86
Keith O. Geddes
Numerical integration in a symbolic context.
185-191
1986
SYMSAC
https://doi.org/10.1145/32439.32476
conf/issac/1986
db/conf/issac/symsac1986.html#Geddes86
Stephen R. Czapor
Keith O. Geddes
On implementing Buchberger's algorithm for Grobner bases.
233-238
1986
SYMSAC
https://doi.org/10.1145/32439.32486
conf/issac/1986
db/conf/issac/symsac1986.html#CzaporG86
Stephen R. Czapor
Keith O. Geddes
A Comparison of Algorithms for the Symbolic Computation of Padé Approximants.
248-259
1984
conf/eurosam/1984
EUROSAM
Computation
db/conf/eurosam/eurosam1984.html#CzaporG84
https://doi.org/10.1007/BFb0032847
Bruce W. Char
Keith O. Geddes
Gaston H. Gonnet
GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation.
285-296
1984
conf/eurosam/1984
EUROSAM
Computation
db/conf/eurosam/eurosam1984.html#CharGG84
https://doi.org/10.1007/BFb0032851
Bruce W. Char
Keith O. Geddes
Gaston H. Gonnet
The maple symbolic computation system.
31-42
1983
17
SIGSAM Bull.
3-4
https://doi.org/10.1145/1089338.1089344
db/journals/cca/cca17.html#CharGG83
Gaston H. Gonnet
Bruce W. Char
Keith O. Geddes
Solution of a general system of equations.
48-49
1983
17
SIGSAM Bull.
3-4
https://doi.org/10.1145/1089338.1089346
db/journals/cca/cca17.html#GonnetCG83
Bruce W. Char
Keith O. Geddes
W. Morven Gentleman
Gaston H. Gonnet
The design of maple: A compact, portable and powerful computer algebra system.
101-115
1983
conf/eurocal/1983
EUROCAL
db/conf/eurocal/eurocal1983.html#CharGGG83
https://doi.org/10.1007/3-540-12868-9_95
Keith O. Geddes
Symbolic Computation of Padé Approximants.
218-233
1979
5
ACM Trans. Math. Softw.
2
https://doi.org/10.1145/355826.355835
db/journals/toms/toms5.html#Geddes79
Keith O. Geddes
Remark on "Algorithm 424: Clenshaw-Curtis Quadrature [O1]".
240
1979
5
ACM Trans. Math. Softw.
2
https://doi.org/10.1145/355826.355838
db/journals/toms/toms5.html#Geddes79a
Keith O. Geddes
Convergence behavior of the Newton iteration for first order differential equations.
189-199
1979
conf/eurosam/1979
EUROSAM
db/conf/eurosam/eurosam1979.html#Geddes79
https://doi.org/10.1007/3-540-09519-5_71
Sergei A. Abramov
Jacques Carette
Orlando A. Carvajal
Frederick W. Chapman
Bruce W. Char
Stephen R. Czapor
Samuel S. Dooley
Gregory J. Fee
W. Morven Gentleman
M. Lawrence Glasser
Gaston H. Gonnet
Masoud Kavian
George Labahn
Ha Q. Le
Benton L. Leong
Ziming Li 0002
Beverly J. Marshman
R. G. McLenaghan
Michael B. Monagan
Reg A. Moore
Peter J. Ponzo
Bruno Salvy
Tony C. Scott
Trevor J. Smedley
L. Yohanes Stefanus
Wei Wei Zheng