Running error bounds in finite element kernels

DOI10.48550/arXiv.2609.37844MaRDI QIDQ7360720arXivFDO

Authors Michal Habera, Andreas Zilian, Paul T. Kühner, Matteo Croci

Publication date 29 September 2026

Published in arXiv

Tldr We present a software framework for automated rounding error estimation within finite element kernels using Running Error Analysis (REA). An open-source implementation for the FEniCS Form Compiler (FFCx) is provided with 2-4x performance overhead in examples demonstrating its effectiveness.

Full work available at URL https://doi.org/10.48550/arXiv.2609.37844

arXiv classification

cs.MSmath.NA

Cites work

• A compiler for variational forms
• A floating-point technique for extending the available precision
• Accurate Sum and Dot Product
• Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy
• Balancing truncation and round-off errors in FEM: one-dimensional analysis
• Barycentric Lagrange Interpolation
• CADNA: a library for estimating round-off error propagation
• Faithfully rounded floating-point computations
• Fast And Automatic Floating Point Error Analysis With CHEF-FP
• Fast Barycentric-Based Evaluation Over Spectral/hp Elements
• FIAT: improving performance and accuracy for high-order finite elements
• FIAT: improving performance and accuracy for high-order finite elements
• Handbook of floating-point arithmetic
• Introduction to Interval Analysis
• Mixed precision algorithms in numerical linear algebra
• Mixed-precision finite element kernels and assembly: Rounding error analysis and hardware acceleration
• Non-smooth multisurface plasticity and viscoplasticity. Loading/unloading conditions and numerical algorithms
• Numerical Linear Algebra
• On compressible versions of the incompressible neo-Hookean material
• On roundoff error growth in elliptic problems
• Round-off errors in the stiffness equation
• Solution errors in finite element analysis
• Stable numerics for finite-strain elasticity
• Stochastic arithmetic in multiprecision
• The Mathematical Theory of Finite Element Methods
• The numerical stability of barycentric Lagrange interpolation
• Unified form language: a domain-specific language for weak formulations of partial differential equations

This page was built for publication: Running error bounds in finite element kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7360720)