Funder
Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada
Directorate for Mathematical and Physical Sciences
Publisher
Springer Science and Business Media LLC
Reference40 articles.
1. Moore, R.E.: Interval tools for computer aided proofs in analysis. In: Computer aided proofs in analysis (Cincinnati, OH, 1989), volume 28 of IMA Vol. Math. Appl., pp. 211–216. Springer, New York (1991)
2. Koch, H., Schenkel, A., Wittwer, P.: Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev. 38(4), 565–604 (1996)
3. van den Berg, J.B., Lessard, J.P.: Rigorous numerics in dynamics. Not. Am. Math. Soc. 62(9), 1057–1061 (2015)
4. James, J.D.M., Mischaikow, K.: Computational proofs in dynamics. Encyclopedia of Applied Computational Mathematics. To appear (2014)
5. Gómez-Serrano, J.: Computer-assisted proofs in PDE: a survey. SeMA J. 76(3), 459–484 (2019)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献