arXiv:1607.01080 [math.DS]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords delay differential equations, mackey-glass equation, rigorous integration, computer-assisted proof, computer assisted proof Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset