evalhf - evaluate an expression using hardware floating-point.
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Banjac, Bojan; Makragić, Milica; Malešević, Branko: Some notes on a method for proving inequalities by computer (2016)
- Giesbrecht, Mark W.; Watt, Stephen M.: In honour of Keith Geddes on his 60th birthday (2011)
- Robinson, Tom; Geddes, Keith: Automated generation of numerical evaluation routines (2005)