Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Keith O. Geddes
@inproceedings{DBLP:conf/issac/CarvajalCG05,
author = {Orlando A. Carvajal and
Frederick W. Chapman and
Keith O. Geddes},
editor = {Manuel Kauers},
title = {Hybrid symbolic-numeric integration in multiple dimensions via tensor-product
series},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {84--91},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073898},
doi = {10.1145/1073884.1073898},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CarvajalCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AbramovCGL04,
author = {Sergei A. Abramov and
Jacques Carette and
Keith O. Geddes and
Ha Q. Le},
title = {Telescoping in the context of symbolic summation in Maple},
journal = {J. Symb. Comput.},
volume = {38},
number = {4},
pages = {1303--1326},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2003.08.010},
doi = {10.1016/J.JSC.2003.08.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AbramovCGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GeddesLL04,
author = {Keith O. Geddes and
Ha Q. Le and
Ziming Li},
editor = {Jaime Gutierrez},
title = {Differential rational normal forms and a reduction algorithm for hyperexponential
func},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2004, Santander, Spain, July 4-7, 2004, Proceedings},
pages = {183--190},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1005285.1005313},
doi = {10.1145/1005285.1005313},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GeddesLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GeddesZ03,
author = {Keith O. Geddes and
Wei Wei Zheng},
editor = {J. Rafael Sendra},
title = {Exploiting fast hardware floating point in high precision computation},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
2003, Proceedings},
pages = {111--118},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860854.860886},
doi = {10.1145/860854.860886},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GeddesZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Geddes99,
author = {Keith O. Geddes},
title = {Generating numerical {ODE} formulas via a symbolic calculus of divided
differences},
journal = {{SIGSAM} Bull.},
volume = {33},
number = {2},
pages = {29--42},
year = {1999},
url = {https://doi.org/10.1145/334714.334717},
doi = {10.1145/334714.334717},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/Geddes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1999,
editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
title = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
publisher = {{ACM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=309831},
isbn = {1-58113-073-2},
timestamp = {Wed, 16 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KavianMG97,
author = {Masoud Kavian and
R. G. McLenaghan and
Keith O. Geddes},
editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
title = {Application of Genetic Algorithms to the Algebraic Simplification
of Tensor Polynomials},
booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 1997, Maui, Hawaii, USA, July 21-23, 1997},
pages = {93--100},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258726.258759},
doi = {10.1145/258726.258759},
timestamp = {Mon, 30 May 2022 14:18:14 +0200},
biburl = {https://dblp.org/rec/conf/issac/KavianMG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KavianMG96,
author = {Masoud Kavian and
R. G. McLenaghan and
Keith O. Geddes},
editor = {Erwin Engeler and
Bob F. Caviness and
Yagati N. Lakshman},
title = {MapleTensor: Progress Report on a New System for Performing Indicial
and Component Tensor Calculations Using Symbolic Computation},
booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
pages = {204--211},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/236869.237075},
doi = {10.1145/236869.237075},
timestamp = {Tue, 29 Aug 2023 20:47:14 +0200},
biburl = {https://dblp.org/rec/conf/issac/KavianMG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071874,
author = {Keith O. Geddes and
Stephen R. Czapor and
George Labahn},
title = {Algorithms for computer algebra},
publisher = {Kluwer},
year = {1992},
isbn = {978-0-7923-9259-0},
timestamp = {Mon, 02 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GeddesF92,
author = {Keith O. Geddes and
Gregory J. Fee},
editor = {Paul S. Wang},
title = {Hybrid Symbolic-Numeric Integration in {MAPLE}},
booktitle = {Proceedings of the 1992 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '92, Berkeley, CA, USA, July 27-29, 1992},
pages = {36--41},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143242.143262},
doi = {10.1145/143242.143262},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GeddesF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
title = {Maple {V} - language reference manual},
publisher = {Springer},
year = {1991},
isbn = {978-0-387-97622-8},
timestamp = {Mon, 29 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
title = {Maple {V} - library reference manual},
publisher = {Springer},
year = {1991},
isbn = {978-0-387-97592-4},
timestamp = {Mon, 29 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/GeddesGMS90,
author = {Keith O. Geddes and
M. Lawrence Glasser and
Reg A. Moore and
Tony C. Scott},
title = {Evaluation of Classes of Definite Integrals Involving Elementary Functions
via Differentiation of Special Functions},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {1},
pages = {149--165},
year = {1990},
url = {https://doi.org/10.1007/BF01810298},
doi = {10.1007/BF01810298},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aaecc/GeddesGMS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CharGG89,
author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet},
title = {{GCDHEU:} Heuristic Polynomial {GCD} Algorithm Based On Integer {GCD}
Computation},
journal = {J. Symb. Comput.},
volume = {7},
number = {1},
pages = {31--48},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80004-5},
doi = {10.1016/S0747-7171(89)80004-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CharGG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/GeddesS89,
author = {Keith O. Geddes and
Tony C. Scott},
editor = {Erich L. Kaltofen and
Stephen M. Watt},
title = {Recipes for Classes of Definite Integrals Involving Exponentials and
Logarithms},
booktitle = {Computers and Mathematics, Third Computers and Mathematics Conference,
MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
pages = {192--201},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4613-9647-5\_24},
doi = {10.1007/978-1-4613-9647-5\_24},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/cm/GeddesS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GeddesS89,
author = {Keith O. Geddes and
L. Yohanes Stefanus},
editor = {Gaston H. Gonnet},
title = {On the Risch-Norman Integration Method and Its Implementation in {MAPLE}},
booktitle = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
17-19, 1989},
pages = {212--217},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74540.74567},
doi = {10.1145/74540.74567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GeddesS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GeddesGS88,
author = {Keith O. Geddes and
Gaston H. Gonnet and
Trevor J. Smedley},
editor = {Patrizia M. Gianni},
title = {Heuristic Methods for Operations With Algebraic Numbers. (Extended
Abstract)},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88,
Rome, Italy, July 4-8, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {358},
pages = {475--480},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51084-2\_45},
doi = {10.1007/3-540-51084-2\_45},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/issac/GeddesGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GeddesG88,
author = {Keith O. Geddes and
Gaston H. Gonnet},
editor = {Patrizia M. Gianni},
title = {A New Algorithm for Computing Symbolic Limits Using Hierarchical Series},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88,
Rome, Italy, July 4-8, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {358},
pages = {490--495},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51084-2\_47},
doi = {10.1007/3-540-51084-2\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GeddesG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
title = {A Tutorial Introduction to Maple},
journal = {J. Symb. Comput.},
volume = {2},
number = {2},
pages = {179--200},
year = {1986},
url = {https://doi.org/10.1016/S0747-7171(86)80021-9},
doi = {10.1016/S0747-7171(86)80021-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CharFGGM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Bruce W. Char},
title = {Computer algebra in the undergraduate mathematics classroom},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {135--140},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32467},
doi = {10.1145/32439.32467},
timestamp = {Mon, 21 Mar 2022 21:50:23 +0100},
biburl = {https://dblp.org/rec/conf/issac/CharGGMP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Geddes86,
author = {Keith O. Geddes},
editor = {Bruce W. Char},
title = {Numerical integration in a symbolic context},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {185--191},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32476},
doi = {10.1145/32439.32476},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Geddes86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CzaporG86,
author = {Stephen R. Czapor and
Keith O. Geddes},
editor = {Bruce W. Char},
title = {On implementing Buchberger's algorithm for Grobner bases},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {233--238},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32486},
doi = {10.1145/32439.32486},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CzaporG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/CzaporG84,
author = {Stephen R. Czapor and
Keith O. Geddes},
editor = {John P. Fitch},
title = {A Comparison of Algorithms for the Symbolic Computation of Pad{\'{e}}
Approximants},
booktitle = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
Cambridge, England, UK, July 9-11, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {174},
number = {Computation},
pages = {248--259},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0032847},
doi = {10.1007/BFB0032847},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/CzaporG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/CharGG84,
author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet},
editor = {John P. Fitch},
title = {{GCDHEU:} Heuristic Polynomial {GCD} Algorithm Based on Integer {GCD}
Computation},
booktitle = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
Cambridge, England, UK, July 9-11, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {174},
number = {Computation},
pages = {285--296},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0032851},
doi = {10.1007/BFB0032851},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/CharGG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CharGG83,
author = {Bruce W. Char and
Keith O. Geddes and
Gaston H. Gonnet},
title = {The maple symbolic computation system},
journal = {{SIGSAM} Bull.},
volume = {17},
number = {3-4},
pages = {31--42},
year = {1983},
url = {https://doi.org/10.1145/1089338.1089344},
doi = {10.1145/1089338.1089344},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/CharGG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/GonnetCG83,
author = {Gaston H. Gonnet and
Bruce W. Char and
Keith O. Geddes},
title = {Solution of a general system of equations},
journal = {{SIGSAM} Bull.},
volume = {17},
number = {3-4},
pages = {48--49},
year = {1983},
url = {https://doi.org/10.1145/1089338.1089346},
doi = {10.1145/1089338.1089346},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/GonnetCG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CharGGG83,
author = {Bruce W. Char and
Keith O. Geddes and
W. Morven Gentleman and
Gaston H. Gonnet},
editor = {J. A. van Hulzen},
title = {The design of maple: {A} compact, portable and powerful computer algebra
system},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {101--115},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_95},
doi = {10.1007/3-540-12868-9\_95},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CharGGG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/Geddes79,
author = {Keith O. Geddes},
title = {Symbolic Computation of Pad{\'{e}} Approximants},
journal = {{ACM} Trans. Math. Softw.},
volume = {5},
number = {2},
pages = {218--233},
year = {1979},
url = {https://doi.org/10.1145/355826.355835},
doi = {10.1145/355826.355835},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/Geddes79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/Geddes79a,
author = {Keith O. Geddes},
title = {Remark on "Algorithm 424: Clenshaw-Curtis Quadrature [O1]"},
journal = {{ACM} Trans. Math. Softw.},
volume = {5},
number = {2},
pages = {240},
year = {1979},
url = {https://doi.org/10.1145/355826.355838},
doi = {10.1145/355826.355838},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/Geddes79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/Geddes79,
author = {Keith O. Geddes},
editor = {Edward W. Ng},
title = {Convergence behavior of the Newton iteration for first order differential
equations},
booktitle = {Symbolic and Algebraic Computation, {EUROSAM} '79, An International
Symposiumon Symbolic and Algebraic Computation, Marseille, France,
June 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {72},
pages = {189--199},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09519-5\_71},
doi = {10.1007/3-540-09519-5\_71},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/Geddes79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
