Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational complexity
Theorem proving
12
Algorithms
10
Matrix algebra
6
Polynomials
6
Arithmetic circuit
4
Arithmetic network
4
Complexity
4
Computational geometry
4
Digital arithmetic
4
Edge modification problems
4
Elimination procedure
4
Geometric degree
4
Geometry of polar varieties and its generalizations
4
Graph classes
4
Graph theory
4
NP-completeness
4
Probability
4
Problem solving
4
Real polynomial equation solving
4
Set theory
4
Vectors
4
Algebraic complexity theory
2
Algorithmic elimination theory
2
Computation tree
2
Disequilibrium
2
Distances in probability space
2
Dynamical systems
2
Entropy
2
Geometric elimination procedures
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 2006Materias: “...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 -
7Publicado 2005Materias: “...Theorem proving...”
-
8Materias: “...Theorem proving...”
Artículo publishedVersion -
9Materias: “...Theorem proving...”
Artículo publishedVersion -
10Materias: “...Theorem proving...”
JOUR -
11
-
12Materias: “...Theorem proving...”
JOUR