Numerical existence and uniqueness proof for solutions of semilinear parabolic equations.

Teruya Minamoto

Published in: Appl. Math. Lett. (2001)

Keyphrases

polynomial equations
numerical algorithms
finite difference
boundary value problem
numerical analysis
benchmark problems
data sets
theorem prover
differential equations
optimal solution
information systems
data mining
solution quality
hough transform
numerical data
sufficient conditions
database