Modeling still matters: a surprising instance of catastrophic floating point errors in mathematical biology and numerical methods for ODEs

04/05/2023
by   Cordula Reisch, et al.
0

We guide the reader on a journey through mathematical modeling and numerical analysis, emphasizing the crucial interplay of both disciplines. Targeting undergraduate students with basic knowledge in dynamical systems and numerical methods for ordinary differential equations, we explore a model from mathematical biology where numerical methods fail badly due to catastrophic floating point errors. We analyze the reasons for this behavior by studying the steady states of the model and use the theory of invariants to develop an alternative model that is suited for numerical simulations. Our story intends to motivate combining analytical and numerical knowledge, even in cases where the world looks fine at first sight. We have set up an online repository containing an interactive notebook with all numerical experiments to make this study fully reproducible and useful for classroom teaching.

READ FULL TEXT
research
11/13/2020

Why Not to Use Binary Floating Point Datatypes in RDF

The XSD binary floating point datatypes are regularly used for precise n...
research
12/04/2020

Revisiting "What Every Computer Scientist Should Know About Floating-point Arithmetic"

The differences between the sets in which ideal arithmetics takes place ...
research
04/25/2019

Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations

Although double-precision floating-point arithmetic currently dominates ...
research
05/29/2017

Finding Root Causes of Floating Point Error with Herbgrind

Floating point arithmetic plays a central role in science, engineering, ...
research
11/08/2022

Model Checking Linear Dynamical Systems under Floating-point Rounding

We consider linear dynamical systems under floating-point rounding. In t...
research
05/17/2023

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting

In recent years, researchers have proposed a number of automated tools t...
research
06/04/2022

Surprising Instabilities in Training Deep Networks and a Theoretical Analysis

We discover restrained numerical instabilities in current training pract...

Please sign up or login with your details

Forgot password? Click here to reset