Login / Signup
Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum.
Daniel Wilczak
Piotr Zgliczynski
Published in:
SIAM J. Appl. Dyn. Syst. (2009)
Keyphrases
</>
computer assisted
computer aided
maximum a posteriori
foreign language
intraoperative
linear logic
theorem proving
theorem prover
post test
grade students
vocabulary learning