# An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic

> Research article (2015 IEEE 22nd Symposium on Computer Arithmetic, 2015) · cited 60× · AI/ML

**Wikidata**: [openalex:W2156828397](https://www.wikidata.org/wiki/openalex:W2156828397)  
**Source**: https://4ort.xyz/entity/an-automatable-formal-semantics-for-ieee-754-floating-point-arithmetic