Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Matrix algebra
Theorem proving
18
Algorithms
10
Vectors
10
Convergence of numerical methods
8
Approximation theory
6
Computational complexity
6
Computational geometry
6
Function evaluation
6
Mathematical models
6
Polynomials
6
Arithmetic circuit
4
Arithmetic network
4
Boundary conditions
4
Boundary value problems
4
Complexity
4
Differentiation (calculus)
4
Digital arithmetic
4
Discretized Newton method
4
Elimination procedure
4
Functional elimination
4
Geometric degree
4
Geometry of polar varieties and its generalizations
4
Iterative methods
4
Jacobian matrix
4
Monotone discrete Newton iterations
4
Monotone sequences
4
Nonlinear equations
4
Nonlinear systems
4
Order convex functions
4
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)
-
1
-
2
-
3Materias: “...Theorem proving...”
-
4Materias: “...Theorem proving...”
JOUR -
5Materias: “...Theorem proving...”
-
6
-
7Publicado 2000Materias: “...Theorem proving...”
-
8Materias: “...Theorem proving...”
JOUR -
9Publicado 2005Materias: “...Theorem proving...”
-
10Materias: “...Theorem proving...”
Artículo publishedVersion -
11Materias: “...Theorem proving...”
Artículo publishedVersion -
12Materias: “...Theorem proving...”
JOUR -
13
-
14
-
15
-
16Materias: “...Theorem proving...”
JOUR -
17
-
18Materias: “...Theorem proving...”
JOUR