Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Convergence of numerical methods
Function evaluation
Matrix algebra
5
Theorem proving
5
Approximation theory
3
Boundary value problems
3
Differentiation (calculus)
3
Discretized Newton method
3
Functional elimination
3
Iterative methods
3
Jacobian matrix
3
Mathematical models
3
Monotone discrete Newton iterations
3
Monotone sequences
3
Nonlinear equations
3
Nonlinear systems
3
Order convex functions
3
Algorithms
2
Boundary conditions
2
Fractals
2
Joint spectral radius
2
Multiresolution analysis
2
Multivariate multiscaling functions
2
Multiwavelets
2
Refinement equations
2
Set theory
2
Tiles
2
Vectors
2
Wavelet transforms
2
Wavelets
2
Buscar alternativas:
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
-
1Publicado 2000Materias: “...Theorem proving...”
-
2Materias: “...Theorem proving...”
JOUR -
3
-
4
-
5Materias: “...Theorem proving...”
JOUR