 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).Computational mathematics emerged as a distinct part of applied mathematics by the early 1950s.Currently, computational mathematics can refer to or include