Omega++

swMATH32372MaRDI QIDQ44083FDOQ44083

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-19249-9_31

Described by source

• Certified reasoning with infinity

This page was built for software: Omega++