Computer system maths

.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}@media print{body.ns-0 .mw-parser-output .hatnote{display:none!important}}”mathematics of computing” redirects here. For the category, see mathematics of computing.

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

Topics referred to by the same term
.mw-parser-output .dmbox{display:flex;align-items:center;clear:both;margin:0.9em 1em;border-top:1px solid #ccc;border-bottom:1px solid #ccc;padding:0.25em 0.35em;font-style:italic}.mw-parser-output .dmbox>*{flex-shrink:0;margin:0 0.25em}.mw-parser-output .dmbox-body{flex-grow:1;flex-shrink:1;padding:0.1em 0}.mw-parser-output .dmbox-invalid-type{text-align:center}
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.

<!–esi –>
Retrieved from “https://en.wikipedia.org/w/index.php?title=Computer_mathematics&oldid=1209065707”

Source: https://en.wikipedia.org/wiki/Computer_mathematics