Login / Signup
Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model.
Maciej J. Capinski
Anna Wasieczko-Zajac
Published in:
SIAM J. Appl. Dyn. Syst. (2017)
Keyphrases
</>
computer assisted
formal model
computational model
high level
computer aided
learning environment
cost function
management system
em algorithm
artificial neural networks
theoretical framework
statistical model
objective function
data sets
intraoperative
theorem prover
modeling method