A Verified Enclosure for the Lorenz Attractor (Rough Diamond)

conference on Interactive Theorem Proving, 2015.

Cited by: 0|Bibtex|Views4|
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de

Code:

Data:

Your rating :
0

 

Tags
Comments