Proceedings of 9th #ICMETE2025 are now available; incl. our #keynote paper on "Polynomial Representation of Rounded Floating-Point Addition Using *PHDDs" link.springer.com/book/10.1007... @unibremen.bsky.social @dfki.bsky.social #PolyVer #FloatingPoint #addition #arithmetic