[ 2018 ]




[ 2017 ]




[ 2016 ]




[ 2015 ]




[ 2014 ]




[ 2013 ]




[ 2012 ]




[ 2011 ]




[ 2010 ]




[ 2009 ]




[ 2008 ]




[ 2007 ]




[ 2006 ]




[ 2005 ]


[ 7 ]
Orlando A. Carvajal, Frederick W. Chapman, and Keith O. Geddes. Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. In Manuel Kauers, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pages 84--91. ACM, 2005. [ http ]
@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 = {http://doi.acm.org/10.1145/1073884.1073898},
 year = {2005}
}



[ 2004 ]


[ 6 ]
Sergei A. Abramov, Jacques Carette, Keith O. Geddes, and Ha Q. Le. Telescoping in the context of symbolic summation in maple. J. Symb. Comput., 38:1303--1326, 2004. [ http ]
@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}
}

[ 5 ]
Keith O. Geddes, Ha Q. Le, and Ziming Li. Differential rational normal forms and a reduction algorithm for hyperexponential func. In Jaime Gutierrez, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pages 183--190. ACM, 2004. [ http ]
@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 = {http://doi.acm.org/10.1145/1005285.1005313},
 year = {2004}
}



[ 2003 ]


[ 4 ]
Keith O. Geddes and Wei Wei Zheng. Exploiting fast hardware floating point in high precision computation. In J. Rafael Sendra, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pages 111--118. ACM, 2003. [ http ]
@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 = {http://doi.acm.org/10.1145/860854.860886},
 year = {2003}
}



[ 2002 ]




[ 2001 ]




[ 2000 ]




[ 1999 ]


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

[ 2 ]
Keith O. Geddes, Bruno Salvy, and Samuel S. Dooley, editors. Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999. ACM, 1999. [ http ]
@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}
}



[ 1998 ]




[ 1997 ]


[ 1 ]
Masoud Kavian, R. G. McLenaghan, and Keith O. Geddes. Application of genetic algorithms to the algebraic simplification of tensor polynomials. In Bruce W. Char, Paul S. Wang, and Wolfgang Küchlin, editors, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997, pages 93--100. ACM, 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} '97, Maui, Hawaii, USA, July 21-23, 1997},
 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},
 year = {1997}
}