A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems.
Myoungnyoun KimMitsuhiro T. NakaoYoshitaka WatanabeTakaaki NishidaPublished in: Numerische Mathematik (2009)
Keyphrases
- verification method
- benchmark problems
- similar problems
- problems involving
- approximate solutions
- model checking
- optimal or near optimal
- multi dimensional
- search methods
- combinatorial problems
- efficient solutions
- numerical methods
- combinatorial optimisation
- approximation schemes
- numerical algorithms
- machine learning
- temporal logic
- decision problems
- optimization problems
- multi objective