PolyPaver

swMATH8771MaRDI QIDQ20771FDOQ20771

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: PolyPaver