Concept

Numerical error

Related publications (5)

Towards a Compiler for Reals

Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-precision approximation of the real arithmetic in which most algorithms are designed. In many applications, the roundoff errors introduced by finite-precision ...

2017

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

Paolo Ricci, Joaquim Loizu Cisquella, Sébastien Jolliet, Federico David Halpern, Fabio Riva, Annamaria Mosetto

Bridging the gap between plasma physics and other scientific domains, in particular, the computational fluid dynamics community, a general, rigorous, and simple-to-apply methodology is presented for both the verification of the correct implementation of th ...

American Institute of Physics2014

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

Paolo Ricci, Joaquim Loizu Cisquella, Sébastien Jolliet, Federico David Halpern, Fabio Riva, Annamaria Mosetto, Christoph Wersal

Approaching the ITER era, errors, affecting simulations that are used as fundamental tools to uncover the complex plasma dynamics in a tokamak, due both to mistakes present in the code and the implementation of a non sufficiently accurate physical model, c ...

2014

Programming with Numerical Uncertainties

Eva Darulova

Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. In many domains, roundoff errors are not the only source of inaccuracy and measurement as ...

EPFL2014

On Numerical Error Propagation with Sensitivity

Viktor Kuncak, Eva Darulova

An emerging area of research is to automatically compute reasonably accurate upper bounds on numerical errors, including roundoffs due to the use of a finite-precision representation for real numbers such as floating point or fixed-point arithmetic. Previo ...

2014

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.