Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Rigorous Polynomial Approximation using Taylor Models in Coq

Subjects: certified error bounds; Taylor models; Coq proof assistantNorfolk; Virginia; United States

  • Source: NASA Formal Methods 4th International Symposium, NFM 2012 ; Fourth NASA Formal Methods Symposium ; https://ens-lyon.hal.science/ensl-00653460 ; Fourth NASA Formal Methods Symposium, NASA, Apr 2012,

تفاصيل العنوان

×
Conference

LLL and polynomial approximation

Subjects: [INFO]Computer Science [cs]Caen; France

  • Source: LLL+25 ; https://inria.hal.science/hal-04732267 ; LLL+25, Jun 2007, Caen, France

تفاصيل العنوان

×
Conference

Exchange algorithm for evaluation and approximation error-optimized polynomials

Subjects: polynomial approximation; evaluation error; semi-infinite linear programmingKyoto; JapanKyoto, Japan

  • Source: Proceedings of the 26th IEEE Symposium on Computer Arithmetic (ARITH 2019) ; ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic ; https://hal.science/hal-02006606 ; ARITH 2019 - 26th IEEE

تفاصيل العنوان

×
Conference

Efficient polynomial $L^{\infty}$-approximations

Subjects: $L^\infty$ norm; LLL algorithm; closest vector problemMontpellier; France

  • Source: 18th IEEE Symposium on Computer Arithmetichttps://inria.hal.science/inria-0011951318th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176,

تفاصيل العنوان

×
Academic Journal

Computing machine-efficient polynomial approximations

Subjects: Chebyshev polynomials; Polynomial approximation; floating-point arithmetic

  • Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://ens-lyon.hal.science/ensl-00086826 ; ACM Transactions on Mathematical Software, 2006, 32 (2), pp.236-256.

تفاصيل العنوان

×
  • 1-10 ل  35 نتائج ل ""polynomial approximation""