Computer-assisted verification of chaos in the model of nuclear spin generator.

Quan Yuan Xiao-Song Yang

Published in: Appl. Math. Comput. (2009)

Keyphrases

computer assisted
probabilistic model
computational model
mathematical model
statistical model
high level
prior knowledge
probability distribution
theoretical analysis
formal model
parameter estimation
experimental data