PolyPaver

MaRDI QIDQ20771swMATHFDO

Official website http://michalkonecny.github.io/polypaver/_site/

Source code repository https://github.com/michalkonecny/polypaver

Cited in

(4)

• Function interval arithmetic
• CkAnalytic
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
• Polynomial function intervals for floating-point software verification

This page was built for software: PolyPaver