Theorem proving 116 Problem solving 42 Mathematical models 26 Algorithms 24 Set theory 20 Matrix algebra 18 Boundary conditions 16 Vectors 16 Approximation theory 14 Boundary value problems 14 Computational complexity 12 Nonlinear equations 12 Polynomials 12 Convergence of numerical methods 10 Function evaluation 10 Mathematical operators 10 Probability 10 Algebra 8 Eigenvalues and eigenfunctions 8 Nonlinear systems 8 Normal numbers 8 Number theory 8 Turing machines 8 Bessel functions 6 Computational geometry 6 Computer science 6 Differentiation (calculus) 6 Formal logic 6 Fractals 6 Functions 6