Function evaluation Theorem proving 10 Convergence of numerical methods 8 Matrix algebra 8 Problem solving 8 Algebra 6 Mathematical models 6 Nonlinear systems 6 Algorithmic randomness 4 Algorithms 4 Approximation theory 4 Boundary value problems 4 Differentiation (calculus) 4 Discretized Newton method 4 Functional elimination 4 Iterative methods 4 Jacobian matrix 4 Kolmogorov complexity 4 Monotone discrete Newton iterations 4 Monotone sequences 4 Nonlinear equations 4 Omega numbers 4 Order convex functions 4 Partial differential equations 4 Probability 4 Random reals 4 Set theory 4 Vectors 4 A-hypergeometric functions 2 Appell functions 2