Login / Signup
Anna Wasieczko-Zajac
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Theorem Prover
Em Algorithm
Objective Function
Modeling Method
Top Venues
SIAM J. Appl. Dyn. Syst.
</>
Publications
</>
Maciej J. Capinski
,
Anna Wasieczko-Zajac
Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model.
SIAM J. Appl. Dyn. Syst.
16 (3) (2017)