Problem solving Theorem proving 37 Boundary conditions 9 Mathematical models 9 Set theory 8 Mathematical operators 6 Algorithms 5 Boundary value problems 5 Eigenvalues and eigenfunctions 5 Topology 5 Algebra 4 Functions 4 Harmonic analysis 4 Least squares approximations 4 Linear equations 4 Mean curvature equations 4 Nonlinear equations 4 Nonlinear systems 4 Optimization 4 Vectors 4 Algorithmic randomness 3 Bessel functions 3 Computability and decidability 3 Computable maps 3 Computational complexity 3 Computer science 3 Edge modification problems 3 Effective elimination theory 3 Effective first Bertini theorem 3 Estimation 3