Coq Interval

swMATH28427MaRDI QIDQ40141FDOQ40141

Author name not available (Why is that?)

Cited In (2)

• Formally verified approximations of definite integrals
• Practical bounds for a Dehn parental test

This page was built for software: Coq Interval