PolyPaver
From MaRDI portal
Software:20771
No author found.
Source code repository: https://github.com/michalkonecny/polypaver
Related Items (3)
Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Polynomial function intervals for floating-point software verification ⋮ Function Interval Arithmetic
This page was built for software: PolyPaver
