Computational mathematics

[1] A large part of computational mathematics consists roughly of using mathematics for allowing and improving computer computation in areas of science and engineering where mathematics are useful.

This involves in particular algorithm design, computational complexity, numerical methods and computer algebra.

This includes mathematical experimentation for establishing conjectures (particularly in number theory), the use of computers for proving theorems (for example the four color theorem), and the design and use of proof assistants.

Computational mathematics emerged as a distinct part of applied mathematics by the early 1950s.

Currently, computational mathematics can refer to or include: Journals that publish contributions from computational mathematics include

A black and white rendition of the Yale Babylonian Collection's Tablet YBC 7289 (c. 1800–1600 BCE), showing a Babylonian approximation to the square root of 2 (1 24 51 10 w: sexagesimal) in the context of Pythagoras' Theorem for an isosceles triangle. The tablet also gives an example where one side of the square is 30, and the resulting diagonal is 42 25 35 or 42.4263888.