Subject
Computational Mathematics,Computational Theory and Mathematics,Modeling and Simulation
Reference31 articles.
1. Chaos in Lorenz equations: A computer assisted proof;Mischaikow;Bull. Amer. Math. Soc. (N.S.),1995
2. Numerical analysis of dynamical systems;Stuart,1994
3. Every planar graph is four colorable, Part I: Discharging;Appel;Illinois J. of Mathematics,1977
4. Every planar graph is four colorable, Part II: Reducibility;Appel;Illinois J. of Mathematics,1977
5. Theorems for a price: Tomorrow's semi-rigorous mathematical culture;Zeilberger;The Mathematical Intelligencer,1994
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献