Theorem proving Differentiation (calculus) 6 Approximation theory 4 Boundary value problems 4 Convergence of numerical methods 4 Discretized Newton method 4 Function evaluation 4 Functional elimination 4 Iterative methods 4 Jacobian matrix 4 Mathematical models 4 Matrix algebra 4 Monotone discrete Newton iterations 4 Monotone sequences 4 Nonlinear equations 4 Nonlinear systems 4 Order convex functions 4 Alloy 2 Alloy analyzers 2 Alloy calculus 2 Alloying 2 Alloys 2 Artificial intelligence 2 Automatic analysis 2 Calculations 2 Computer systems 2 Critical applications 2 Data domains 2 Difference equations 2 Explicit substitutions 2