Sciweavers

2 search results - page 1 / 1
» Techniques for Visualizing Fermat's Last Theorem
Sort
View
49
Voted
VISUALIZATION
1990
IEEE
15 years 4 months ago
Techniques for Visualizing Fermat's Last Theorem
Andrew J. Hanson, P. A. Heng, B. C. Kaplan
99
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 12 days ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas