PolyPaver

swMATH8771MaRDI QIDQ20771FDOQ20771

Author name not available (Why is that?)

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

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

Cited In (4)

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

This page was built for software: PolyPaver