Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Problem solving
Theorem proving
3
Effective elimination theory
2
Effective first Bertini theorem
2
Estimation
2
Varieties over finite fields
2
q-rational points
2
Algebra
1
Algorithms
1
Efficient polynomial equation solving
1
Iterative methods
1
Newton-Hensel lifting
1
Parameter estimation
1
Polynomials
1
Puiseux expansions of space curves
1
Ramified fibers of dominant mappings
1
Vectors
1
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...”
Artículo publishedVersion -
2
-
3Materias: “...Theorem proving...”
JOUR