English
Related papers

Related papers: Exposing and exploiting structure: optimal code ge…

200 papers

MFEM is an open-source, lightweight, flexible and scalable C++ library for modular finite element methods that features arbitrary high-order finite element meshes and spaces, support for a wide variety of discretization approaches and…

At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs. This…

Numerical Analysis · Mathematics 2012-05-15 Martin Sandve Alnæs , Anders Logg , Kent-Andre Mardal , Ola Skavhaug , Hans Petter Langtangen

The efficient solution of discretisations of coupled systems of partial differential equations (PDEs) is at the core of much of numerical simulation. Significant effort has been expended on scalable algorithms to precondition Krylov…

Mathematical Software · Computer Science 2018-02-22 Robert C. Kirby , Lawrence Mitchell

The use of composable abstractions allows the application of new and established algorithms to a wide range of problems while automatically inheriting the benefits of well-known performance optimisations. This work highlights the…

Mathematical Software · Computer Science 2016-11-01 Michael Lange , Lawrence Mitchell , Matthew G. Knepley , Gerard J. Gorman

We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl,…

Numerical Analysis · Mathematics 2022-11-11 Justin Crum , Cyrus Cheng , David A. Ham , Lawrence Mitchell , Robert C. Kirby , Joshua A. Levine , Andrew Gillette

This document summarizes the main concepts of the finite element (FE) theory and constitutive relations as implemented in the open-source code phase-field multiphysics materials simulator PHIMATS https://github.com/ahcomat/PHIMATS. PHIMATS…

Numerical Analysis · Mathematics 2025-10-15 Abdelrahman Hussein

We examine the effect of using complexity-reducing relations to generate optimized code for the evaluation of finite element variational forms. The optimizations are implemented in a prototype code named FErari, which has been integrated as…

Numerical Analysis · Mathematics 2012-05-15 Robert C. Kirby , Anders Logg

The finite element method can be viewed as a machine that automates the discretization of differential equations, taking as input a variational problem, a finite element and a mesh, and producing as output a system of discrete equations.…

Numerical Analysis · Mathematics 2011-12-05 Anders Logg

The stability, robustness, accuracy, and efficiency of space-time finite element methods crucially depend on the choice of approximation spaces for test and trial functions. This is especially true for high-order, mixed finite element…

Numerical Analysis · Mathematics 2023-08-15 Nilima Nigam , David M. Williams

In the present work, we investigate the computational efficiency afforded by higher-order finite-element discretization of the saddle-point formulation of orbital-free density functional theory. We first investigate the robustness of viable…

Computational Physics · Physics 2015-05-30 Phani Motamarri , Mrinal Iyer , Jaroslaw Knap , Vikram Gavini

We present a differentiable weak-form learning approach for accelerating finite element simulations. Rather than introducing black-box source terms in the strong form of the governing equations, we augment the momentum equation directly in…

Fluid Dynamics · Physics 2026-01-29 Junoh Jung , Emil Constantinescu

To obtain the highest confidence on the correction of numerical simulation programs for the resolution of Partial Differential Equations (PDEs), one has to formalize the mathematical notions and results that allow to establish the soundness…

Logic in Computer Science · Computer Science 2024-10-03 François Clément , Vincent Martin

We present an algorithm for the optimization of a class of finite element integration loop nests. This algorithm, which exploits fundamental mathematical properties of finite element operators, is proven to achieve a locally optimal…

Mathematical Software · Computer Science 2017-05-11 Fabio Luporini , David A. Ham , Paul H. J. Kelly

We introduce a new abstraction for the representation and solution of multi-domain problems using finite element methods. This is an advance over previous work in that it achieves a single higher-level abstraction that represents…

Mathematical Software · Computer Science 2025-12-09 Koki Sagiyama , Lawrence Mitchell , David A. Ham

The implementation process of a $\texttt{RestrictedFunctionSpace}$ class in Firedrake, a Python library which numerically solves partial differential equations through the use of the finite element method, is documented. This includes an…

Mathematical Software · Computer Science 2024-08-13 Emma Rothwell

We extend a localized model order reduction method for the distributed finite element solution of elliptic boundary value problems in the cloud. We give a computationally efficient technique to compute the required inner product matrices…

Numerical Analysis · Mathematics 2025-04-01 Tom Gustafsson , Antti Hannukainen , Vili Kohonen

Finite Element discretizations of coupled multi-physics partial differential equation models require the handling of composed function spaces. In this paper we discuss software concepts and abstractions to handle the composition of function…

Mathematical Software · Computer Science 2025-08-15 Christian Engwer , Carsten Gräser , Steffen Müthing , Simon Praetorius , Oliver Sander

We present an open architecture for just-in-time code generation and dynamic code optimization that is flexible, customizable, and extensible. While previous research has primarily investigated functional aspects of such a system,…

Operating Systems · Computer Science 2007-05-23 Thomas Kistler , Michael Franz

This work is devoted to the development of an efficient and robust technique for accurate capturing of the electric field in multi-material problems. The formulation is based on the finite element method enriched by the introduction of…

Irksome is a library based on the Unified Form Language (UFL) that automates the application of Runge-Kutta time-stepping methods for finite element spatial discretizations of partial differential equations (PDEs). This paper describes…

Numerical Analysis · Mathematics 2025-08-29 Robert C. Kirby , Scott P. MacLachlan , Pablo D. Brubeck