IEEE_Floating_Point

swMATH32221MaRDI QIDQ43932FDOQ43932

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/IEEE_Floating_Point.html

Cited In (2)

• A parameterized floating-point formalizaton in HOL Light
• libclang

This page was built for software: IEEE_Floating_Point