Login / Signup

Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof.

Daniel Wilczak
Published in: SIAM J. Appl. Dyn. Syst. (2005)
Keyphrases
  • computer assisted
  • computer aided
  • intraoperative
  • foreign language
  • theorem prover
  • theorem proving
  • linear logic
  • image processing
  • three dimensional
  • pattern recognition