@article{MR2117363, author = {Brychkov, Yu. A. and Geddes, K. O.}, doi = {10.1080/10652460410001727572}, journal = {Integral Transforms Spec. Funct.}, pages = {187--198}, title = {On the derivatives of the {B}essel and {S}truve functions with respect to the order}, url = {https://doi.org/10.1080/10652460410001727572}, volume = {16}, year = {2005} }
@incollection{MR2280533, author = {Carvajal, Orlando A. and Chapman, Frederick W. and Geddes, Keith O.}, booktitle = {I{SSAC}'05}, doi = {10.1145/1073884.1073898}, pages = {84--91}, publisher = {ACM, New York}, title = {Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series}, url = {https://doi.org/10.1145/1073884.1073898}, 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} }
@incollection{MR2094371, author = {Brychkov, Yu. A. and Geddes, K. O.}, booktitle = {Abstract and applied analysis}, pages = {15--28}, publisher = {World Sci. Publ., River Edge, NJ}, title = {Differentiation of hypergeometric functions with respect to parameters}, year = {2004} }
@incollection{MR2126942, author = {Geddes, Keith and Le, Ha and Li, Ziming}, booktitle = {I{SSAC} 2004}, doi = {10.1145/1005285.1005313}, pages = {183--190}, publisher = {ACM, New York}, title = {Differential rational normal forms and a reduction algorithm for hyperexponential functions}, url = {https://doi.org/10.1145/1005285.1005313}, 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} }
@incollection{MR1932618, author = {Abramov, S. A. and Geddes, K. O. and Le, H. Q.}, booktitle = {Mathematical software ({B}eijing, 2002)}, pages = {319--329}, publisher = {World Sci. Publ., River Edge, NJ}, title = {Computer algebra library for the construction of the minimal telescopers}, year = {2002} }
@incollection{MR1932626, author = {Geddes, K. O. and Le, H. Q.}, booktitle = {Mathematical software ({B}eijing, 2002)}, pages = {453--463}, publisher = {World Sci. Publ., River Edge, NJ}, title = {An algorithm to compute the minimal telescopers for rational functions (differential-integral case)}, year = {2002} }
@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, 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} }
@incollection{MR1463218, author = {Kavian, Masoud and McLenaghan, R. G. and Geddes, K. O.}, booktitle = {The {S}ixth {C}anadian {C}onference on {G}eneral {R}elativity and {R}elativistic {A}strophysics ({F}redericton, {NB}, 1995)}, pages = {269--272}, publisher = {Amer. Math. Soc., Providence, RI}, title = {Maple{T}ensor: a new system for performing indicial and component tensor calculations by computer}, volume = {15}, 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{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 B. 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{MR1256483, author = {Geddes, K. O. and Czapor, S. R. and Labahn, G.}, doi = {10.1007/b102438}, pages = {xxii+585}, publisher = {Kluwer Academic Publishers, Boston, MA}, title = {Algorithms for computer algebra}, url = {https://doi.org/10.1007/b102438}, 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} }
@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}, 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}, 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{MR1068028, author = {Scott, T. C. and Moore, R. A. and Fee, G. J. and Monagan, M. B. and Labahn, G. and Geddes, K. O.}, doi = {10.1142/S0129183190000037}, journal = {Internat. J. Modern Phys. 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} }
@incollection{MR1005976, author = {Geddes, K. O. and Scott, T. C.}, booktitle = {Computers and mathematics ({C}ambridge, {MA}, 1989)}, doi = {10.1007/978-1-4613-9647-5_24}, pages = {192--201}, publisher = {Springer, New York}, 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} }
@incollection{MR779130, author = {Czapor, Stephen R. and Geddes, Keith O.}, booktitle = {E{UROSAM} 84 ({C}ambridge, 1984)}, doi = {10.1007/BFb0032847}, pages = {248--259}, publisher = {Springer, Berlin}, title = {A comparison of algorithms for the symbolic computation of {P}ad\'{e} approximants}, url = {https://doi.org/10.1007/BFb0032847}, volume = {174}, year = {1984} }
@incollection{MR779134, author = {Char, Bruce W. and Geddes, Keith O. and Gonnet, Gaston H.}, booktitle = {E{UROSAM} 84 ({C}ambridge, 1984)}, doi = {10.1007/BFb0032851}, pages = {285--296}, publisher = {Springer, Berlin}, title = {G{CDHEU}: heuristic polynomial {GCD} algorithm based on integer {GCD} computation}, url = {https://doi.org/10.1007/BFb0032851}, volume = {174}, 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{MR629669, author = {Geddes, K. O.}, doi = {10.1137/0718058}, journal = {SIAM J. Numer. Anal.}, pages = {844--861}, title = {Block structure in the {C}hebyshev-{P}ad\'{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} }
@incollection{MR575690, author = {Geddes, K. O.}, booktitle = {Symbolic and algebraic computation ({EUROSAM} '79, {I}nternat. {S}ympos., {M}arseille, 1979)}, pages = {189--199}, publisher = {Springer, Berlin-New York}, title = {Convergence behaviour of the {N}ewton iteration for first-order differential equations}, volume = {72}, 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} }