Login / Signup

The Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof.

Daniel Wilczak
Published in: Found. Comput. Math. (2006)
Keyphrases
  • computer assisted
  • computer aided
  • dynamical systems
  • intraoperative
  • theorem prover
  • foreign language
  • complementarity problems
  • machine learning
  • theorem proving
  • surgical training