Computational mathematics

Computational applied mathematics consists roughly of using mathematics for allowing and improving computer computation in applied mathematics. Computational mathematics may also refer to the use of computers for mathematics itself. This includes the use of computers for mathematical computations (computer algebra), the study of what can (and cannot) be computerized in mathematics (effective methods), which computations may be done with present technology (complexity theory), and which proofs can be done on computers (proof assistants). Both aspects of computational mathematics involves mathematical research in mathematics as well as in areas of science where computing plays a central and essential role—that, is almost all sciences—, and emphasize algorithms, numerical methods, and symbolic computations.