Login / Signup
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains.
Taisei Asai
Kazuaki Tanaka
Shin'ichi Oishi
Published in:
J. Comput. Appl. Math. (2022)
Keyphrases
</>
numerical methods
model checking
boundary value problem
optimal solution
real world
application domains
search engine
image processing
benchmark problems
finite difference
numerical algorithms
decision trees
artificial neural networks
formal methods
numerical solution
runge kutta