Searching for "Algebraic and Numerical Algorithms and Computer-assisted Proofs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Compensated Horner Scheme
by S. Graillat, Nicolas Louvet — 2005
… Seminar Proceedings 05391 Algebraic and Numerical Algorithms and Computer-assisted Proofs http…
Cited by 5 (2 self) – Add To MetaCart

Toward accurate polynomial evaluation in rounded arithmetic
by James Demmel, Ioana Dumitriu, Olga Holtz — 2006 — In Foundations of computational mathematics, Santander 2005, volume 331 of London Math. Soc. Lecture Note Ser
… and Numerical Algorithms and Computer-assisted Proofs http://drops.dagstuhl.de/opus/volltexte/2006/447 1 We use…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB