Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model.

Jacek Cyranka Thomas Wanner

Published in: SIAM J. Appl. Dyn. Syst. (2018)

Keyphrases

computer assisted
multi dimensional
mathematical model
statistical model
formal model
high level
similarity measure
probability distribution
management system
neural network model
learning algorithm
pattern recognition
theoretical analysis
computational model
statistically significant