108 citations · 347 across the 26 of their papers we have counts for
1 paper · 2 filters
Małgorzata Moczurad, Piotr Zgliczyński
Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.