Period Doubling in the Rössler System - A Computer Assisted Proof.

Daniel Wilczak Piotr Zgliczynski

Published in: Found. Comput. Math. (2009)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
theorem prover
theorem proving
grade students
data sets
neural network
learning environment
linear logic
mathematical proofs