Professor
Joined School 1973
BA (Saskatchewan),
MSc (Toronto),
PhD (Toronto)
| kogeddes@uwaterloo.ca | |
| Web | http://www.cs.uwaterloo.ca/~kogeddes |
| Voice | 519-888-4567 x34668 |
| Fax | 519-885-1208 |
|
| Keith O Geddes
Professor Joined School 1973 BA (Saskatchewan),
|
Professor Geddes' research program is centred around the development of algorithms for the mechanization of mathematics and the implementation of such algorithms in the Maple computer algebra system. The types of mathematics being considered are the computational aspects of algebra and analysis, including the solution of systems of algebraic and differential equations.
The Maple system, co-created by Professor Geddes, has proven to be a useful tool for engineers, scientists, mathematicians and researchers in various disciplines, and it has achieved a worldwide impact. The Maple system allows users to perform sophisticated mathematical operations in their natural symbolic form, as well as providing numerical facilities, graphical displays and mathematical word-processing capabilities. Symbolic closed-form solutions to problems often yield greater insight than purely numerical solutions, and the Maple system expands the applications of computers to include this non-numeric mode of mathematical analysis.
One particular aspect of Professor Geddes' work is the design of hybrid symbolic-numeric algorithms which enhance our mathematical problem-solving capabilities by appropriately combining the symbolic and numeric paradigms in scientific computation.
Professor Emeritus (2009); "MICA 2008: Milestones in Computer Algebra", A 60th birthday conference in honour of Keith Geddes' career (2008); NSERC Synergy Innovation Award for Maplesoft & Symbolic Computation Group (2004); Paul G. Sorenson Distinguished Graduate Lecture, University of Saskatchewan (1997)
During a sabbatical leave at the University of California, Berkeley in 1980 and subsequently in 1986-87 at the University of Grenoble, the primary focus of Professor Geddes' work was the preparation of a foundational textbook on “Algorithms for Computer Algebra”, completed with co-authors George Labahn and Stephen Czapor in 1992 and published by Kluwer Academic Publishers. This was the first comprehensive textbook which developed the algebraic foundations of algorithms for the emerging field of computer algebra (symbolic computation). Simultaneously, the design and implementation of the Maple computer algebra system, initiated in 1980 as a research project by Professors Geddes and Gonnet, was an on-going project which continues to the present time. In 1988, Waterloo Maple Inc. was founded by Geddes, Gonnet and other colleagues to commercialize the Maple software system.
K.O. Geddes, Generating efficient numerical evaluation routines for bivariate functions via tensor product series. Invited presentation, Special Session on Scientific/Symbolic Computation, CAIMS 2009 Annual Meeting, The University of Western Ontario, London, Ontario, 2009.
F.W. Chapman and K.O. Geddes. An improved algorithm for the automatic derivation and proof of tensor product identities via computer algebra. Proceedings of Calculemus'06, Anna Bigatti and Silvio Ranise (ed.), pp. 52-67, 2006.
Yu.A. Brychkov and K.O. Geddes. On the derivatives of the Bessel and Struve functions with respect to the order. Integral Transforms and Special Functions, 16(3):187-198, 2005.
O.A. Carvajal, F.W. Chapman, and K.O. Geddes. Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC), Manuel Kauers (ed.), ACM Press, New York, pp. 84-91, 2005.
S.A. Abramov, J.J. Carette, K.O. Geddes, and H.Q. Le. Telescoping in the context of symbolic summation in Maple. Journal of Symbolic Computation, 38(4):1303-1326, 2004.
Please contact the server administrator, webmaster@cs.uwaterloo.ca and inform them of the time the error occurred, and anything you might have done that may have caused the error.
More information about this error may be available in the server error log.
