Feature #246
Approx QIR
Description
Implement (in C++) approximate QIR following the article by Kerber+Sagraloff (publ ISSAC 2011).
The impl will need to base itself on interval arithmetic (probably the impl in the GNU MPFR library).
Related issues
History
#1 Updated by John Abbott almost 12 years ago
The web page for MPFR reports that there is a library MPFI which implements interval arithmetic on top of MPFR.
#2 Updated by Anna Maria Bigatti over 11 years ago
- Category set to New Function
#3 Updated by Anna Maria Bigatti over 10 years ago
- Target version set to CoCoALib-0.99533 Easter14
#4 Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-1.0
#5 Updated by John Abbott over 7 years ago
- Related to Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints added