Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theorem proving
106
Problem solving
37
Mathematical models
24
Algorithms
21
Set theory
17
Matrix algebra
16
Boundary conditions
15
Vectors
15
Approximation theory
12
Boundary value problems
12
Nonlinear equations
11
Polynomials
11
Computational complexity
10
Convergence of numerical methods
9
Mathematical operators
9
Algebra
8
Function evaluation
8
Probability
8
Eigenvalues and eigenfunctions
7
Nonlinear systems
7
Formal logic
6
Functions
6
Normal numbers
6
Number theory
6
Optimization
6
Turing machines
6
Bessel functions
5
Computational geometry
5
Computer science
5
Differentiation (calculus)
5
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
-
17Materias: “...Theorem proving...”
-
18
-
19Publicado 2004Materias: “...Theorem proving...”
-
20