Computer mathematics

Channel:
Subscribers:
9,580
Published on ● Video Link: https://www.youtube.com/watch?v=eijqmYeS8vE



Duration: 0:43
2 views
0


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
Scientific computing, 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

Source: https://en.wikipedia.org/wiki/Computer_mathematics
Created with WikipediaReaderReborn (c) WikipediaReader







Tags:
Automatedtheoremproving
Scientificcomputing
Symboliccomputation
Theoreticalcomputerscience