Keith Geddes
   HOME

TheInfoList



OR:

Keith Oliver Geddes (born 1947) is a
professor emeritus ''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...
in the David R. Cheriton School of Computer Science within the
Faculty of Mathematics In contemporary education, mathematics education, known in Europe as the didactics or pedagogy of mathematics – is the practice of teaching, learning and carrying out scholarly research into the transfer of mathematical knowledge. Although rese ...
at the
University of Waterloo The University of Waterloo (UWaterloo, UW, or Waterloo) is a public research university with a main campus in Waterloo, Ontario, Canada. The main campus is on of land adjacent to "Uptown" Waterloo and Waterloo Park. The university also operates ...
in
Waterloo, Ontario Waterloo is a city in the Canadian province of Ontario. It is one of three cities in the Regional Municipality of Waterloo (formerly Waterloo County). Waterloo is situated about west-southwest of Toronto. Due to the close proximity of the ci ...
. He is a former director of th
Symbolic Computation Group
in the School of
Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
. He received a BA in Mathematics at the
University of Saskatchewan A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, ...
in 1968; he completed both his MSc and PhD in
Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
at the
University of Toronto The University of Toronto (UToronto or U of T) is a public university, public research university in Toronto, Ontario, Canada, located on the grounds that surround Queen's Park (Toronto), Queen's Park. It was founded by royal charter in 1827 ...
. Geddes is probably best known for co-founding the Maple computer algebra system, now in widespread academic use around the world. He is also the Scientific Director at th
Ontario Research Centre for Computer Algebra
and is a member of the Association for Computing Machinery, as well as the American and
Canadian Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of ...
Mathematical Societies.


Research

Geddes' primary research interest is to develop algorithms for the mechanization of mathematics. More specifically, he is interested in the computational aspects of algebra and analysis. Currently, he is focusing on designing hybrid symbolic-numeric algorithms to perform definite integration and solve ordinary and partial differential equations. Much of his work currently revolves around
Maple ''Acer'' () is a genus of trees and shrubs commonly known as maples. The genus is placed in the family Sapindaceae.Stevens, P. F. (2001 onwards). Angiosperm Phylogeny Website. Version 9, June 2008 nd more or less continuously updated since http ...
.


Teaching

Geddes retired from teaching in December 2008. Geddes taught a mixture of both senior-level symbolic computation courses, at both the undergraduate and graduate level, as well as introductory courses on the principles of
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
.


See also

* Maple computer algebra system * Waterloo Maple *
Gaston Gonnet Gaston H. Gonnet is a Uruguayan Canadian computer scientist and entrepreneur. He is best known for his contributions to the Maple computer algebra system and the creation of a digital version of the Oxford English Dictionary. Education and ear ...
— the co-founder of Waterloo Maple * Risch algorithm * Symbolic integration * Derivatives of the incomplete gamma function *
List of University of Waterloo people The University of Waterloo, located in Waterloo, Ontario, Canada, is a comprehensive public university that was founded in 1957 by Drs. Gerry Hagey and Ira G. Needles. It has grown into an institution of more than 42,000 students, faculty, and ...


External links


Keith Geddes' home page

The Symbolic Computation Group
* {{DEFAULTSORT:Geddes, Keith 1947 births Living people Canadian mathematicians University of Toronto alumni University of Waterloo faculty