Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theorem proving
116
Problem solving
42
Mathematical models
26
Algorithms
24
Set theory
20
Matrix algebra
18
Boundary conditions
16
Vectors
16
Approximation theory
14
Boundary value problems
14
Computational complexity
12
Nonlinear equations
12
Polynomials
12
Convergence of numerical methods
10
Function evaluation
10
Mathematical operators
10
Probability
10
Algebra
8
Eigenvalues and eigenfunctions
8
Nonlinear systems
8
Normal numbers
8
Number theory
8
Turing machines
8
Bessel functions
6
Computational geometry
6
Computer science
6
Differentiation (calculus)
6
Formal logic
6
Fractals
6
Functions
6
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 2000Materias: “...Theorem proving...”
-
2
-
3Materias: “...Theorem proving...”
-
4Materias: “...Theorem proving...”
JOUR -
5Materias: “...Theorem proving...”
-
6Materias: “...Theorem proving...”
JOUR -
7Uniqueness and non-uniqueness for a system of heat equations with nonlinear coupling at the boundaryPublicado 1999Materias: “...Theorem proving...”
-
8Uniqueness and non-uniqueness for a system of heat equations with nonlinear coupling at the boundaryMaterias: “...Theorem proving...”
JOUR -
9
-
10
-
11
-
12Materias: “...Theorem proving...”
SER -
13Materias: “...Theorem proving...”
-
14Materias: “...Theorem proving...”
-
15
-
16
-
17por Orbe, Alejandro EzequielMaterias: “...Deduction and Theorem Proving...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
18Materias: “...Theorem proving...”
-
19por Orbe, Alejandro EzequielMaterias: “...Deduction and Theorem Proving...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
20