Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model.

Jacek Cyranka Thomas Wanner

Published in: CoRR (2017)

Keyphrases

computer assisted
statistical model
parameter estimation
computational model
probabilistic model
mathematical model
experimental data
formal model
data sets
computer vision
prior knowledge
multi dimensional
computer aided
conceptual model
prediction model