Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Eigenvalues and eigenfunctions
Mathematical models
8
Theorem proving
8
Boundary value problems
6
Problem solving
6
Bessel functions
4
Boundary conditions
4
Nonlinear boundary conditions
4
Sobolev trace embedding
4
Eigenvalue optimization problems
2
Fourier transforms
2
Free boundaries
2
Gamov vectors
2
Hamiltonian
2
Optimization
2
Pure state formalism
2
Quantum theory
2
Sobolev trace constant
2
Spectral decomposition
2
Spectrum analysis
2
Time asymmetry
2
Time evolution
2
Vectors
2
Buscar alternativas:
"Theorem proving" » "Theorem province" (Expander búsqueda)
"Theorem improving" » "Theorem improvince" (Expander búsqueda)
"Theorem proving" » "Theorem province" (Expander búsqueda)
"Theorem improving" » "Theorem improvince" (Expander búsqueda)
-
1Publicado 1997Materias: “...Theorem proving...”
-
2
-
3
-
4Materias: “...Theorem proving...”
Artículo publishedVersion -
5Materias: “...Theorem proving...”
Artículo publishedVersion -
6Materias: “...Theorem proving...”
JOUR -
7Materias: “...Theorem proving...”
-
8Materias: “...Theorem proving...”
JOUR