Keith Geddes
Encyclopedia
Keith Geddes is a professor emeritus in the David R. Cheriton
School of Computer Science
within the Faculty of Mathematics
at the University of Waterloo
in Waterloo, Ontario
. He is a former director of the Symbolic Computation Group in the School of Computer Science
. He received a BA in Mathematics
at the University of Saskatchewan
in 1968; he completed both his MSc and PhD in Computer Science
at the University of Toronto
.
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 the Ontario Research Centre for Computer Algebra, and is a member of the Association for Computing Machinery
, as well as the American
and Canadian
Mathematical Societies.
algorithms to perform definite integration
and solve ordinary and partial differential equations.
Much of his work currently revolves around Maple.
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
.
David Cheriton
David Ross Cheriton is a Canadian-born computer science professor at Stanford University who has investments in technology companies...
School of Computer Science
David R. Cheriton School of Computer Science
The David R. Cheriton School of Computer Science is the School of Computer Science at the University of Waterloo. Part of the Faculty of Mathematics, the school comprises 77 faculty members, nearly 300 graduate students, approximately 2100 undergraduates, and 55 staff members.-History:In 1965,...
within the Faculty of Mathematics
University of Waterloo Faculty of Mathematics
The Faculty of Mathematics is one of six faculties of the University of Waterloo in Waterloo, Ontario. As of Fall 2010, it has 5,741 undergraduate students and 629 graduate students, 200 full-time professors, and offers over 500 courses in mathematics, statistics and computer science.The Faculty...
at the University of Waterloo
University of Waterloo
The University of Waterloo is a comprehensive public university in the city of Waterloo, Ontario, Canada. The school was founded in 1957 by Drs. Gerry Hagey and Ira G. Needles, and has since grown to an institution of more than 30,000 students, faculty, and staff...
in Waterloo, Ontario
Waterloo, Ontario
Waterloo is a city in Southern Ontario, Canada. It is the smallest of the three cities in the Regional Municipality of Waterloo, and is adjacent to the city of Kitchener....
. He is a former director of the Symbolic Computation Group in the School of Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
. He received a BA in Mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
at the University of Saskatchewan
University of Saskatchewan
The University of Saskatchewan is a Canadian public research university, founded in 1907, and located on the east side of the South Saskatchewan River in Saskatoon, Saskatchewan, Canada. An "Act to establish and incorporate a University for the Province of Saskatchewan" was passed by the...
in 1968; he completed both his MSc and PhD in Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Toronto
University of Toronto
The University of Toronto is a public research university in Toronto, Ontario, Canada, situated on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada...
.
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 the Ontario Research Centre for Computer Algebra, and is a member of the Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
, as well as the American
American Mathematical Society
The American Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, which it does with various publications and conferences as well as annual monetary awards and prizes to mathematicians.The society is one of the...
and Canadian
Canadian Mathematical Society
The Canadian Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and education in Canada.It was originally conceived in June 1945 as the Canadian Mathematical Congress...
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-numericSymbolic-numeric computation
In mathematics and computer science, symbolic-numeric computation is the use of software that combines symbolic and numeric methods to solve problems.-References:*, Dongming Wang, Lihong Zhi, Springer, 2007, ISBN 3764379839...
algorithms to perform definite integration
Integral
Integration is an important concept in mathematics and, together with its inverse, differentiation, is one of the two main operations in calculus...
and solve ordinary and partial differential equations.
Much of his work currently revolves around Maple.
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
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
.
See also
- Maple computer algebra system
- Waterloo MapleWaterloo MapleWaterloo Maple Inc. is a Canadian software company, headquartered in Waterloo, Ontario. It operates under the trading name Maplesoft and is best known as the manufacturer of the Maple computer algebra system and MapleSim physical modeling and simulation software.-Corporate history:Waterloo Maple Inc...
- Gaston GonnetGaston GonnetGaston H. Gonnet is a Uruguayan computer scientist and entrepreneur. He is best known for his contributions to the Maple computer algebra system and the creation of an electronic version of the Oxford English Dictionary.- Education and professional life :...
— the co-founder of Waterloo Maple - Risch algorithmRisch algorithmThe Risch algorithm, named after Robert Henry Risch, is an algorithm for the calculus operation of indefinite integration . The algorithm transforms the problem of integration into a problem in algebra. It is based on the form of the function being integrated and on methods for integrating rational...
- Symbolic integrationSymbolic integrationIn calculus symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f, i.e...
- Derivatives of Incomplete Gamma function