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