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