1140 search results - page 1 / 228 » Progress on Certifying Algorithms |
FAW
2010
Springer
13 years 5 months ago
2010
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
WETICE
2000
IEEE
13 years 9 months ago
2000
IEEE
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
ISAAC
2009
Springer
13 years 11 months ago
2009
Springer
We provide a certifying algorithm for the problem of deciding whether a P5-free graph is 3-colorable by showing there are exactly six finite graphs that are P5-free and not 3-colo...