Verified Computation of Fast Decreasing Polynomials
Neli S. Dimitrova, Svetoslav M. MarkovVolume:
5
Pages:
12
Journal:
Reliable Computing
DOI:
10.1023/a:1009972120539
Date:
August, 1999
File:
PDF, 239 KB
1999