Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Approximation theory
Theorem proving
14
Convergence of numerical methods
6
Mathematical models
6
Matrix algebra
6
Block codes
4
Block-coding
4
Boundary value problems
4
Differentiation (calculus)
4
Digital signal processing
4
Discretized Newton method
4
Fixed points
4
Fractal compression
4
Fractals
4
Function evaluation
4
Functional elimination
4
Functional equation
4
Grey-level functions
4
Image coding
4
Image reconstruction
4
Iterative methods
4
Jacobian matrix
4
Mathematical operators
4
Monotone discrete Newton iterations
4
Monotone sequences
4
Nonlinear equations
4
Nonlinear systems
4
Order convex functions
4
Ordinary differential equations
4
Self-similarity
4
Buscar alternativas:
"Theorem proving" » "Theorem province" (Expander búsqueda)
"Theorem improving" » "Theorem improvince" (Expander búsqueda)
"Theorem proving" » "Theorem province" (Expander búsqueda)
"Theorem improving" » "Theorem improvince" (Expander búsqueda)
-
1Publicado 2003Materias: “...Theorem proving...”
-
2Materias: “...Theorem proving...”
JOUR -
3Materias: “...Theorem proving...”
-
4Materias: “...Theorem proving...”
Artículo publishedVersion -
5Materias: “...Theorem proving...”
Artículo publishedVersion -
6Materias: “...Theorem proving...”
JOUR -
7Materias: “...Theorem proving...”
-
8
-
9Materias: “...Theorem proving...”
-
10Materias: “...Theorem proving...”
JOUR -
11
-
12
-
13
-
14Materias: “...Theorem proving...”
JOUR