186
click to vote
CASC
15 years 6 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...
153
click to vote
CASC
16 years 9 days 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...
168
Voted
CASC
15 years 3 months ago
2009 Springer  143
Voted
CASC
16 years 9 days ago
2009 Springer  185
click to vote
CASC
16 years 9 days 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