Editing Floating-point arithmetic (section)

== External links ==
* {{cite web |url=http://www.mrob.com/pub/math/floatformats.html |title=Survey of Floating-Point Formats}} (NB. This page gives a very brief summary of floating-point formats that have been used over the years.)
* {{cite journal |url=https://hal.science/hal-00128124/en/ |title=The pitfalls of verifying floating-point computations |first=David |last=Monniaux |journal=ACM Transactions on Programming Languages and Systems |publisher=[[Association for Computing Machinery]] (ACM) Transactions on programming languages and systems (TOPLAS) |date=May 2008 |volume=30 |issue=3 |pages=1–41 |doi=10.1145/1353445.1353446 |arxiv=cs/0701192 |s2cid=218578808}} (NB. A compendium of non-intuitive behaviors of floating point on popular architectures, with implications for program verification and testing.)
* [https://opencores.org/ OpenCores]. (NB. This website contains open source floating-point IP cores for the implementation of floating-point operators in FPGA or ASIC devices. The project ''double_fpu'' contains verilog source code of a double-precision floating-point unit. The project ''fpuvhdl'' contains vhdl source code of a single-precision floating-point unit.)
* {{cite web |url=http://msdn.microsoft.com/en-us/library/aa289157(v=vs.71).aspx |title=Microsoft Visual C++ Floating-Point Optimization |first=Eric |last=Fleegal |publisher=[[Microsoft Developer Network]] |date=2004 |archive-url=https://web.archive.org/web/20170706020455/http://msdn.microsoft.com/en-us/library/aa289157(v=vs.71).aspx |url-status=dead |archive-date=2017-07-06}}

{{Data types}}

[[Category:Floating point| ]]
[[Category:Computer arithmetic]]
[[Category:Articles with example C code]]