A Homoclinic Orbit in a Planar Singular ODE - A Computer Assisted Proof.

Robert Szczelina Piotr Zgliczynski

Published in: SIAM J. Appl. Dyn. Syst. (2013)

Keyphrases

computer assisted
computer aided
intraoperative
ordinary differential equations
ground plane
linear logic
surgical training
theorem prover
foreign language
curved surfaces
theorem proving
neural network
image analysis
project based learning
planar graphs