corpus.blog
43,317 blogs · 5,519,570 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768a6094b5

From Real Arithmetic to Reality

verse.systems · published 24 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at verse.systems Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
15
Words captured
2,032

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.arxiv.org/abs/2505.06958
arxiv.org
https://conferences.i-cav.org/2025/
conferences.i-cav.org
https://arxiv.org/abs/2603.13334
arxiv.org
https://en.wikipedia.org/wiki/Matrix_multiplication
en.wikipedia.org
https://en.wikipedia.org/wiki/Floating-point_arithmetic
en.wikipedia.org
https://arxiv.org/abs/2205.10159
arxiv.org
https://en.wikipedia.org/wiki/Half-precision_floating-point_format
en.wikipedia.org
https://en.wikipedia.org/wiki/Lipschitz_continuity
en.wikipedia.org
https://arxiv.org/abs/2102.08452
arxiv.org
https://en.wikipedia.org/wiki/Error_analysis_(mathematics
en.wikipedia.org
https://epubs.siam.org/doi/book/10.1137/1.9780898718027
epubs.siam.org
https://github.com/VeriNum/LAProof
github.com
https://en.wikipedia.org/wiki/IEEE_754
en.wikipedia.org
https://coq.inria.fr/
coq.inria.fr
https://people.eng.unimelb.edu.au/tobym/
people.eng.unimelb.edu.au
Elsewhere on verse.systems (6)