2 search results - page 1 / 1 » Techniques for Visualizing Fermat's Last Theorem |
VISUALIZATION
1990
IEEE
13 years 10 months ago
1990
IEEE
CORR
2006
Springer
13 years 6 months ago
2006
Springer
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...