Invited Talk: Soundly Approximating Numerical Kernels & Beyond
Year: 2021
Type: article
Source: Computer Aided Verification
Author: Eva Darulová
Institution: Max Planck Society
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3213851608