Project

General

Profile

Feature #246

Approx QIR

Added by John Abbott over 11 years ago. Updated almost 10 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
Start date:
01 Oct 2012
Due date:
% Done:

0%

Estimated time:
Spent time:

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

Related to CoCoA-5 - Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)In Progress2012-09-28

Related to CoCoALib - Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpointsIn Progress2016-11-17

History

#1 Updated by John Abbott over 11 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 about 11 years ago

  • Category set to New Function

#3 Updated by Anna Maria Bigatti almost 10 years ago

  • Target version set to CoCoALib-0.99533 Easter14

#4 Updated by John Abbott almost 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

Also available in: Atom PDF