Concepedia
Reliable Computing · 1997 · 15 citations · 2 references
2
Fundamentals of SIGLA, an interval computing system over the completed set of intervals
Ernest Gardeñes, Albert Trepat · Computing · 1980 · 46 citations
Engineering, Geometric Algorithm, Validated Numerics +7
Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic)
Vyacheslav M. Nesterov, Nina A. Zheludeva · Reliable Computing · 1996 · 20 citations
Pade Approximant, Kaucher Arithmetic, Validated Numerics +7