Login / Signup

Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum.

Daniel WilczakPiotr 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