A discipline within mathematics and computer science that focuses on creating and analysing numerical methods

The area of mathematics and computer science concerned with creating, analysing, and implementing algorithms for solving problems numerically

None

The branch of mathematics and computer science devoted solely to exact closed-form solutions of algebraic equations

The subfield of computer science that emphasises formal logic and rigorous software verification techniques