Computer mathematics

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Computer mathematics may refer to:

Automated theorem proving, the proving of mathematical theorems by a computer program
Symbolic computation, the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects
Computational science, constructing numerical solutions and using computers to analyze and solve scientific and engineering problems
Theoretical computer science, collection of topics of computer science and mathematics that focuses on the more abstract and mathematical aspects of computing

This disambiguation page lists articles associated with the title Computer mathematics.
If an internal link led you here, you may wish to change the link to point directly to the intended article.