Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + ('''Publication''' [[Publications/boldo.18.arith|A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers]] in ''25th IEEE Symposium on Computer Arithmetic'')