Numerical verification for asymmetric solutions of the Hénon equation on the unit square.

Taisei Asai Kazuaki Tanaka Shin'ichi Oishi

Published in: CoRR (2020)

Keyphrases

numerical methods
boundary value problem
solution space
real time
search engine
feasible solution
benchmark problems
finite difference
database
computer vision
website
case study
model checking
formal methods
numerical solution