Computable analysis for verified exact real computation

Michal Konečný, Florian Steinberg, Holger Thies

    Research output: Chapter in Book/Published conference output › Conference publication

    Fingerprint

    Dive into the research topics of 'Computable analysis for verified exact real computation'. Together they form a unique fingerprint.

    Engineering & Materials Science