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

نتائج البحث

Filter
  • 1-10 ل  41 نتائج ل ""polynomial approximation""
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

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,

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

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