Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithms
Computational geometry
Matrix algebra
6
Theorem proving
6
Vectors
6
Arithmetic circuit
4
Arithmetic network
4
Complexity
4
Computational complexity
4
Digital arithmetic
4
Elimination procedure
4
Geometric degree
4
Geometry of polar varieties and its generalizations
4
Polynomials
4
Probability
4
Real polynomial equation solving
4
Backpropagation
2
Convex recursive deletion region
2
Feedforward neural networks
2
Multilayer neural networks
2
Neural network
2
Optimization
2
Two layer perceptron
2
Two-layer perceptron
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)
-
1Materias: “...Theorem proving...”
-
2Materias: “...Theorem proving...”
JOUR -
3Publicado 2005Materias: “...Theorem proving...”
-
4Materias: “...Theorem proving...”
Artículo publishedVersion -
5Materias: “...Theorem proving...”
Artículo publishedVersion -
6Materias: “...Theorem proving...”
JOUR