@inproceedings{GeddesCV:ChapmanG06,
 author = {F. W. Chapman and K. O. Geddes},
 booktitle = {Proceedings of Calculemus 2006},
 pages = {52--67},
 title = {An improved algorithm for the automatic derivation and proof of tensor product identities via computer algebra},
 year = {2006}
}

@article{GeddesCV:BrychkovG05,
 author = {Yu. A. Brychkov and K. O. Geddes},
 doi = {10.1080/10652460410001727572},
 journal = {Integral Transforms and Special Functions},
 pages = {187--198},
 title = {On the derivatives of the Bessel and Struve functions with respect to the order},
 url = {https://doi.org/10.1080/10652460410001727572},
 volume = {16},
 year = {2005}
}

@inproceedings{DBLP:conf/issac/CarvajalCG05,
 author = {Orlando A. Carvajal and
Frederick W. Chapman and
Keith O. Geddes},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings},
 doi = {10.1145/1073884.1073898},
 editor = {Manuel Kauers},
 pages = {84--91},
 publisher = {ACM},
 title = {Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series},
 url = {https://doi.org/10.1145/1073884.1073898},
 year = {2005}
}

@inproceedings{zbMATH5117560,
 author = {Robinson, Tom and Geddes, Keith},
 booktitle = {Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 383-398},
 pages = {383--398},
 title = {Automated generation of numerical evaluation routines},
 year = {2005}
}

@article{DBLP:journals/jsc/AbramovCGL04,
 author = {Sergei A. Abramov and
Jacques Carette and
Keith O. Geddes and
Ha Q. Le},
 doi = {10.1016/j.jsc.2003.08.010},
 journal = {J. Symb. Comput.},
 pages = {1303--1326},
 title = {Telescoping in the context of symbolic summation in Maple},
 url = {https://doi.org/10.1016/j.jsc.2003.08.010},
 volume = {38},
 year = {2004}
}

@inproceedings{DBLP:conf/issac/GeddesLL04,
 author = {Keith O. Geddes and
Ha Q. Le and
Ziming Li},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings},
 doi = {10.1145/1005285.1005313},
 editor = {Jaime Gutierrez},
 pages = {183--190},
 publisher = {ACM},
 title = {Differential rational normal forms and a reduction algorithm for hyperexponential func},
 url = {https://doi.org/10.1145/1005285.1005313},
 year = {2004}
}

@inproceedings{zbMATH2159318,
 author = {Brychkov, Yu. A. and Geddes, K. O.},
 booktitle = {Chuong, N. M. (ed.) et al., Abstract and applied analysis. Proceedings of the international conference, Hanoi, Vietnam, August 13--17, 2002. River Edge, NJ: World Scientific (ISBN 981-238-944-X/hbk). 15-28},
 pages = {15--28},
 title = {Differentiation of hypergeometric functions with respect to parameters},
 year = {2004}
}

@inproceedings{DBLP:conf/issac/GeddesZ03,
 author = {Keith O. Geddes and
Wei Wei Zheng},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings},
 doi = {10.1145/860854.860886},
 editor = {J. Rafael Sendra},
 pages = {111--118},
 publisher = {ACM},
 title = {Exploiting fast hardware floating point in high precision computation},
 url = {https://doi.org/10.1145/860854.860886},
 year = {2003}
}

@inproceedings{zbMATH1860734,
 author = {Abramov, S. A. and Geddes, K. O. and Le, H. Q.},
 booktitle = {Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 319-329},
 pages = {319--329},
 title = {Computer algebra library for the construction of the minimal telescopers},
 year = {2002}
}

@inproceedings{zbMATH1860747,
 author = {Geddes, K. O. and Le, H. Q.},
 booktitle = {Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific (ISBN 981-238-048-5). 453-463},
 pages = {453--463},
 title = {An algorithm to compute the minimal telescopers for rational functions (differential-integral case).},
 year = {2002}
}

@incollection{GeddesCV:Geddes01a,
 author = {K. O. Geddes},
 booktitle = {Applications of Computer Algebra},
 pages = {51--84},
 publisher = {Allied Publishers},
 title = {Algorithms for indefinite and definite integration in {Maple}},
 year = {2001}
}

@incollection{GeddesCV:Geddes01b,
 author = {K. O. Geddes},
 booktitle = {Applications of Computer Algebra},
 pages = {85--108},
 publisher = {Allied Publishers},
 title = {Hybrid symbolic-numeric methods applied to definite integrals and {ODEs}},
 year = {2001}
}

@article{DBLP:journals/cca/Geddes99,
 author = {Keith O. Geddes},
 doi = {10.1145/334714.334717},
 journal = {SIGSAM Bull.},
 pages = {29--42},
 title = {Generating numerical ODE formulas via a symbolic calculus of divided differences},
 url = {https://doi.org/10.1145/334714.334717},
 volume = {33},
 year = {1999}
}

@proceedings{DBLP:conf/issac/1999,
 booktitle = {ISSAC},
 editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
 publisher = {ACM},
 title = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999},
 url = {http://dl.acm.org/citation.cfm?id=309831},
 year = {1999}
}

@book{zbMATH1131174,
 author = {Monagan, M. B. and Geddes, K. O. and Heal, K. M. and Labahn, G. and Vorkoetter, S. M.},
 publisher = {New York, NY: Springer},
 title = {Maple V programming guide (Version A) for Release 5. With the assistance of J. S. Devitt, M. L. Hansen, D. Redfern, K. M. Rickard.},
 year = {1998}
}

@book{zbMATH1074292,
 author = {Monagan, M. B. and Geddes, K. O. and Heal, K. M. and Labahn, G. and Vorkoetter, S. M.},
 publisher = {Berlin: Springer-Verlag},
 title = {Maple V. Programming guide},
 year = {1997}
}

@inproceedings{DBLP:conf/issac/KavianMG97,
 author = {Masoud Kavian and
R. G. McLenaghan and
Keith O. Geddes},
 booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997},
 doi = {10.1145/258726.258759},
 editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
 pages = {93--100},
 publisher = {ACM},
 title = {Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials},
 url = {https://doi.org/10.1145/258726.258759},
 year = {1997}
}

@inproceedings{GeddesCV:Geddes97,
 author = {K. O. Geddes},
 booktitle = {International Conference on Computational Mathematics},
 note = {Bangkok},
 title = {Symbolic math and the hybrid symbolic-numeric paradigm in scientific computation},
 year = {1997}
}

@inproceedings{zbMATH1094243,
 author = {Kavian, Masoud and McLenaghan, R. G. and Geddes, K. O.},
 booktitle = {Braham, Stephen P. (ed.) et al., The 6th Canadian conference on General relativity and relativistic astrophysics. 6th CCRRA, University of New Brunswick, Fredericton, NJ, USA, May 25--27, 1995. Providence, RI: AMS, American Mathematical Society. Fields Inst. Commun. 15, 269-272},
 pages = {269--272},
 title = {Maple Tensor: a new system for performing indicial and component tensor calculations by computer},
 year = {1997}
}

@book{zbMATH967674,
 author = {Monagan, M. B. and Geddes, K. O. and Heal, K. M. and Labahn, G. and Vorkoetter, S. M.},
 publisher = {Berlin: Springer},
 title = {Programming with Maple V},
 year = {1996}
}

@inproceedings{DBLP:conf/issac/KavianMG96,
 author = {Masoud Kavian and
R. G. McLenaghan and
Keith O. Geddes},
 booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996},
 doi = {10.1145/236869.237075},
 editor = {Erwin Engeler and
Bob F. Caviness and
Yagati N. Lakshman},
 pages = {204--211},
 publisher = {ACM},
 title = {MapleTensor: Progress Report on a New System for Performing Indicial and Component Tensor Calculations Using Symbolic Computation},
 url = {https://doi.org/10.1145/236869.237075},
 year = {1996}
}

@book{zbMATH846278,
 author = {Monagan, M. B. and Geddes, K. O. and Heal, K. M. and Labahn, G. and Vorkoetter, S.},
 publisher = {New York, NY: Springer-Verlag},
 title = {Maple V. Programming guide. With the assistance of J. S. Devitt, M. L. Hansen, D. Redfern, K. M. Rickard},
 year = {1995}
}

@inproceedings{GeddesCV:Geddes95,
 author = {K. O. Geddes},
 booktitle = {Proceedings of SEAM 1995},
 note = {CD-ROM, 34 pp.},
 title = {Hybrid symbolic-numeric algorithms for scientific and engineering problem solving},
 year = {1995}
}

@inproceedings{GeddesCV:GeddesL95a,
 author = {K. O. Geddes and G. Labahn},
 booktitle = {First Asian Technology Conference in Mathematics},
 note = {Singapore},
 pages = {377--386},
 title = {Symbolic and numeric integration in {Maple}},
 year = {1995}
}

@inproceedings{GeddesCV:GeddesL95b,
 author = {K. O. Geddes and G. Labahn},
 booktitle = {First Asian Technology Conference in Mathematics},
 note = {Singapore},
 pages = {367--376},
 title = {The {Maple} computer algebra system},
 year = {1995}
}

@article{GeddesCV:Geddes93,
 author = {K. O. Geddes},
 journal = {MapleTech},
 pages = {28--36},
 title = {A package for numerical approximation},
 volume = {10},
 year = {1993}
}

@article{GeddesCV:ScottBG93,
 author = {T. C. Scott and Y. B. Band and K. O. Geddes},
 journal = {MapleTech},
 pages = {19--27},
 title = {Recipes for solving broad classes of definite integrals and applications},
 volume = {10},
 year = {1993}
}

@book{DBLP:books/daglib/0071874,
 author = {Keith O. Geddes and
Stephen R. Czapor and
George Labahn},
 pages = {I--XVIII, 1--585},
 publisher = {Kluwer},
 title = {Algorithms for computer algebra},
 year = {1992}
}

@book{zbMATH53947,
 author = {Char, Bruce W. and Geddes, Keith O. and Gonnet, Gaston H. and Leong, Benton L. and Monagan, Michael B. and Watt, Stephen M.},
 publisher = {New York, NY etc.: Springer-Verlag},
 title = {First leaves: a tutorial introduction to Maple V},
 year = {1992}
}

@inproceedings{DBLP:conf/issac/GeddesF92,
 author = {Keith O. Geddes and
Gregory J. Fee},
 booktitle = {Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992},
 doi = {10.1145/143242.143262},
 editor = {Paul S. Wang},
 pages = {36--41},
 publisher = {ACM},
 title = {Hybrid Symbolic-Numeric Integration in MAPLE},
 url = {https://doi.org/10.1145/143242.143262},
 year = {1992}
}

@article{GeddesCV:Geddes91,
 author = {K. O. Geddes},
 journal = {MapleTech},
 pages = {8--17},
 title = {Numerical integration using symbolic analysis},
 volume = {6},
 year = {1991}
}

@book{DBLP:books/daglib/0066812,
 author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet and
Benton L. Leong and
Michael B. Monagan},
 pages = {I--XXV, 1--698},
 publisher = {Springer},
 title = {Maple V - library reference manual},
 year = {1991}
}

@book{DBLP:books/daglib/0066813,
 author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet and
Benton L. Leong and
Michael B. Monagan},
 pages = {I--XV, 1--267},
 publisher = {Springer},
 title = {Maple V - language reference manual},
 year = {1991}
}

@article{DBLP:journals/aaecc/GeddesGMS90,
 author = {Keith O. Geddes and
M. Lawrence Glasser and
Reg A. Moore and
Tony C. Scott},
 doi = {10.1007/BF01810298},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {149--165},
 title = {Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions},
 url = {https://doi.org/10.1007/BF01810298},
 volume = {1},
 year = {1990}
}

@article{GeddesCV:ScottMFMLG90,
 author = {T. C. Scott and R. A. Moore and G. J. Fee and M. B. Monagan and G. Labahn and K. O. Geddes},
 doi = {10.1142/s0129183190000037},
 journal = {International Journal of Modern Physics C},
 pages = {53--76},
 title = {Perturbative solutions of quantum mechanical problems by symbolic computation: A review},
 url = {https://doi.org/10.1142/s0129183190000037},
 volume = {1},
 year = {1990}
}

@article{DBLP:journals/jsc/CharGG89,
 author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet},
 doi = {10.1016/S0747-7171(89)80004-5},
 journal = {J. Symb. Comput.},
 pages = {31--48},
 title = {GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation},
 url = {https://doi.org/10.1016/S0747-7171(89)80004-5},
 volume = {7},
 year = {1989}
}

@inproceedings{DBLP:conf/cm/GeddesS89,
 author = {Keith O. Geddes and
Tony C. Scott},
 booktitle = {Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989.},
 doi = {10.1007/978-1-4613-9647-5_24},
 editor = {Erich L. Kaltofen and
Stephen M. Watt},
 pages = {192--201},
 publisher = {Springer},
 title = {Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms},
 url = {https://doi.org/10.1007/978-1-4613-9647-5_24},
 year = {1989}
}

@inproceedings{DBLP:conf/issac/GeddesS89,
 author = {Keith O. Geddes and
L. Yohanes Stefanus},
 booktitle = {Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989},
 doi = {10.1145/74540.74567},
 editor = {Gaston H. Gonnet},
 pages = {212--217},
 publisher = {ACM},
 title = {On the Risch-Norman Integration Method and Its Implementation in MAPLE},
 url = {https://doi.org/10.1145/74540.74567},
 year = {1989}
}

@inproceedings{DBLP:conf/issac/GeddesG88,
 author = {Keith O. Geddes and
Gaston H. Gonnet},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings},
 doi = {10.1007/3-540-51084-2_47},
 editor = {Patrizia M. Gianni},
 pages = {490--495},
 publisher = {Springer},
 title = {A New Algorithm for Computing Symbolic Limits Using Hierarchical Series},
 url = {https://doi.org/10.1007/3-540-51084-2_47},
 volume = {358},
 year = {1988}
}

@inproceedings{DBLP:conf/issac/GeddesGS88,
 author = {Keith O. Geddes and
Gaston H. Gonnet and
Trevor J. Smedley},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings},
 doi = {10.1007/3-540-51084-2_45},
 editor = {Patrizia M. Gianni},
 pages = {475--480},
 publisher = {Springer},
 title = {Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)},
 url = {https://doi.org/10.1007/3-540-51084-2_45},
 volume = {358},
 year = {1988}
}

@article{DBLP:journals/jsc/CharFGGM86,
 author = {Bruce W. Char and
Gregory J. Fee and
Keith O. Geddes and
Gaston H. Gonnet and
Michael B. Monagan},
 doi = {10.1016/S0747-7171(86)80021-9},
 journal = {J. Symb. Comput.},
 pages = {179--200},
 title = {A Tutorial Introduction to Maple},
 url = {https://doi.org/10.1016/S0747-7171(86)80021-9},
 volume = {2},
 year = {1986}
}

@inproceedings{DBLP:conf/issac/CharGGMP86,
 author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet and
Beverly J. Marshman and
Peter J. Ponzo},
 booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
 doi = {10.1145/32439.32467},
 editor = {Bruce W. Char},
 pages = {135--140},
 publisher = {ACM},
 title = {Computer algebra in the undergraduate mathematics classroom},
 url = {https://doi.org/10.1145/32439.32467},
 year = {1986}
}

@inproceedings{DBLP:conf/issac/CzaporG86,
 author = {Stephen R. Czapor and
Keith O. Geddes},
 booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
 doi = {10.1145/32439.32486},
 editor = {Bruce W. Char},
 pages = {233--238},
 publisher = {ACM},
 title = {On implementing Buchberger's algorithm for Grobner bases},
 url = {https://doi.org/10.1145/32439.32486},
 year = {1986}
}

@inproceedings{DBLP:conf/issac/Geddes86,
 author = {Keith O. Geddes},
 booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
 doi = {10.1145/32439.32476},
 editor = {Bruce W. Char},
 pages = {185--191},
 publisher = {ACM},
 title = {Numerical integration in a symbolic context},
 url = {https://doi.org/10.1145/32439.32476},
 year = {1986}
}

@inproceedings{DBLP:conf/eurosam/CharGG84,
 author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet},
 booktitle = {EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings},
 doi = {10.1007/BFb0032851},
 editor = {John P. Fitch},
 pages = {285--296},
 publisher = {Springer},
 title = {GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation},
 url = {https://doi.org/10.1007/BFb0032851},
 volume = {174},
 year = {1984}
}

@inproceedings{DBLP:conf/eurosam/CzaporG84,
 author = {Stephen R. Czapor and
Keith O. Geddes},
 booktitle = {EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings},
 doi = {10.1007/BFb0032847},
 editor = {John P. Fitch},
 pages = {248--259},
 publisher = {Springer},
 title = {A Comparison of Algorithms for the Symbolic Computation of Pad{\'{e}} Approximants},
 url = {https://doi.org/10.1007/BFb0032847},
 volume = {174},
 year = {1984}
}

@inproceedings{GeddesCV:CharFGGMW84,
 author = {B. W. Char and G. J. Fee and K. O. Geddes and G. H. Gonnet and M. B. Monagan and S. M. Watt},
 booktitle = {Proceedings of the 1984 MACSYMA Users' Conference},
 pages = {199--219},
 title = {On the design and performance of the {Maple} system},
 year = {1984}
}

@article{DBLP:journals/cca/CharGG83,
 author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet},
 doi = {10.1145/1089338.1089344},
 journal = {SIGSAM Bull.},
 pages = {31--42},
 title = {The maple symbolic computation system},
 url = {https://doi.org/10.1145/1089338.1089344},
 volume = {17},
 year = {1983}
}

@article{DBLP:journals/cca/GonnetCG83,
 author = {Gaston H. Gonnet and
Bruce W. Char and
Keith O. Geddes},
 doi = {10.1145/1089338.1089346},
 journal = {SIGSAM Bull.},
 pages = {48--49},
 title = {Solution of a general system of equations},
 url = {https://doi.org/10.1145/1089338.1089346},
 volume = {17},
 year = {1983}
}

@inproceedings{DBLP:conf/eurocal/CharGGG83,
 author = {Bruce W. Char and
Keith O. Geddes and
W. Morven Gentleman and
Gaston H. Gonnet},
 booktitle = {Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings},
 doi = {10.1007/3-540-12868-9_95},
 editor = {J. A. van Hulzen},
 pages = {101--115},
 publisher = {Springer},
 title = {The design of maple: A compact, portable and powerful computer algebra system},
 url = {https://doi.org/10.1007/3-540-12868-9_95},
 volume = {162},
 year = {1983}
}

@article{zbMATH3792703,
 author = {Geddes, K. O.},
 doi = {10.1137/0718058},
 journal = {SIAM Journal on Numerical Analysis},
 pages = {844--861},
 title = {Block structure in the Chebyshev-Pad{\'{e}} table},
 url = {https://doi.org/10.1137/0718058},
 volume = {18},
 year = {1981}
}

@article{DBLP:journals/toms/Geddes79a,
 author = {Keith O. Geddes},
 doi = {10.1145/355826.355838},
 journal = {ACM Trans. Math. Softw.},
 pages = {240},
 title = {Remark on "Algorithm 424: Clenshaw-Curtis Quadrature [O1]"},
 url = {https://doi.org/10.1145/355826.355838},
 volume = {5},
 year = {1979}
}

@article{DBLP:journals/toms/Geddes79,
 author = {Keith O. Geddes},
 doi = {10.1145/355826.355835},
 journal = {ACM Trans. Math. Softw.},
 pages = {218--233},
 title = {Symbolic Computation of Pad{\'{e}} Approximants},
 url = {https://doi.org/10.1145/355826.355835},
 volume = {5},
 year = {1979}
}

@inproceedings{DBLP:conf/eurosam/Geddes79,
 author = {Keith O. Geddes},
 booktitle = {Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings},
 doi = {10.1007/3-540-09519-5_71},
 editor = {Edward W. Ng},
 pages = {189--199},
 publisher = {Springer},
 title = {Convergence behavior of the Newton iteration for first order differential equations},
 url = {https://doi.org/10.1007/3-540-09519-5_71},
 volume = {72},
 year = {1979}
}

@inproceedings{zbMATH3624726,
 author = {Geddes, K. O.},
 booktitle = {Symbolic and algebraic computation, EUROSAM '79, int. Symp., Marseille 1979, Lect. Notes Comput. Sci. 72, 189-199},
 title = {Convergence behaviour of the Newton iteration for first order differential equations},
 year = {1979}
}