141
click to vote
CASC
15 years 2 months ago
2009 Springer 
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
106
click to vote
CASC
15 years 8 months ago
2009 Springer 
This work addresses the problem of computing a certified ǫ-approximation of all real roots of a square-free integer polynomial. We proof an upper bound for its bit complexity, b...
CASC
15 years 8 months ago
2009 Springer  127
click to vote
CASC
15 years 8 months ago
2009 Springer
We discuss the family of “divide-and-conquer” algorithms for polynomial multiplication, that generalize Karatsuba’s algorithm. We give explicit versions of transposed and sho...
|
Mathematics