Firedrake, automating the finite element method by composing abstractions
From MaRDI portal
Publication:3176320
DOI10.1145/2998441zbMATH Open1396.65144arXiv1501.01809OpenAlexW3104566386WikidataQ113310153 ScholiaQ113310153MaRDI QIDQ3176320FDOQ3176320
A. T. T. McRae, Florian Rathgeber, Paul H. J. Kelly, Fabio Luporini, Graham R. Markall, G.-T. Bercea, D. A. Ham, Michael Lange, Lawrence Mitchell
Publication date: 20 July 2018
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Abstract: Firedrake is a new tool for automating the numerical solution of partial differential equations. Firedrake adopts the domain-specific language for the finite element method of the FEniCS project, but with a pure Python runtime-only implementation centred on the composition of several existing and new abstractions for particular aspects of scientific computing. The result is a more complete separation of concerns which eases the incorporation of separate contributions from computer scientists, numerical analysts and application specialists. These contributions may add functionality, or improve performance. Firedrake benefits from automatically applying new optimisations. This includes factorising mixed function spaces, transforming and vectorising inner loops, and intrinsically supporting block matrix operations. Importantly, Firedrake presents a simple public API for escaping the UFL abstraction. This allows users to implement common operations that fall outside pure variational formulations, such as flux-limiters.
Full work available at URL: https://arxiv.org/abs/1501.01809
Recommendations
- Efficient mesh management in firedrake using PETSc DMPlex
- DOLFIN: automated finite element computing
- Automating the finite element method
- Unified form language: a domain-specific language for weak formulations of partial differential equations
- Solver composition across the PDE/linear algebra barrier
Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)
Cited In (only showing first 100 items - show all)
- A stabilized mixed discontinuous Galerkin formulation for double porosity/permeability model
- Energy-enstrophy conserving compatible finite element schemes for the rotating shallow water equations with slip boundary conditions
- Multiscale finite element calculations in Python using sfepy
- PorePy: an open-source software for simulation of multiphysics processes in fractured porous media
- The design of conservative finite element discretisations for the vectorial modified KdV equation
- Robust approximation of generalized Biot-Brinkman problems
- A generalised formulation of G-continuous Bezier elements applied to non-linear MHD simulations
- Extendible and efficient Python framework for solving evolution equations with stabilized discontinuous Galerkin methods
- An Augmented Lagrangian Preconditioner for Implicitly Constituted Non-Newtonian Incompressible Flow
- A stable FE method for the space-time solution of the Cahn-Hilliard equation
- Mixed finite elements for convection-coupled phase-change in enthalpy form: open software verified and applied to 2D benchmarks
- An Augmented Lagrangian Preconditioner for the 3D Stationary Incompressible Navier--Stokes Equations at High Reynolds Number
- A semismooth Newton method for implicitly constituted non-Newtonian fluids and its application to the numerical approximation of Bingham flow
- A new mixed finite-element method for \(H^2\) elliptic problems
- Fast Matrix-Free Evaluation of Discontinuous Galerkin Finite Element Operators
- Robust and efficient primal-dual Newton-Krylov solvers for viscous-plastic sea-ice models
- Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition
- Monolithic Multigrid Methods for Magnetohydrodynamics
- Mixed finite elements for global tide models with nonlinear damping
- Optimal-Transport--Based Mesh Adaptivity on the Plane and Sphere Using Finite Elements
- The scaling and skewness of optimally transported meshes on the sphere
- Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow
- Optimal control of the Sabatier process in microchannel reactors
- Composable block solvers for the four-field double porosity/permeability model
- Efficient mesh management in firedrake using PETSc DMPlex
- Robust estimates in balanced norms for singularly perturbed reaction diffusion equations using graded meshes
- A parallel edge orientation algorithm for quadrilateral meshes
- Automated generation and symbolic manipulation of tensor product finite elements
- Compatible finite element methods for geophysical fluid dynamics
- Two-Dimensional Shape Optimization with Nearly Conformal Transformations
- Statistical properties of an enstrophy conserving finite element discretisation for the stochastic quasi-geostrophic equation
- Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations
- Goal-oriented error estimation for the automatic variationally stable FE method for convection-dominated diffusion problems
- Mixed Kirchhoff stress-displacement-pressure formulations for incompressible hyperelasticity
- A Reynolds-robust preconditioner for the Scott-Vogelius discretization of the stationary incompressible Navier-Stokes equations
- Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations
- Finite element theory on curved domains with applications to discontinuous Galerkin finite element methods
- Multi-scale hydro-morphodynamic modelling using mesh movement methods
- A Constrained Pressure-Temperature Residual (CPTR) Method for Non-Isothermal Multiphase Flow in Porous Media
- Port-Hamiltonian flexible multibody dynamics
- TSFC: A Structure-Preserving Form Compiler
- Splitting method for elliptic equations with line sources
- Automated Adjoints of Coupled PDE-ODE Systems
- Algorithm 997
- Numerically Modeling Stochastic Lie Transport in Fluid Dynamics
- A weighted and balanced FEM for singularly perturbed reaction-diffusion problems
- Weak and Strong Form Shape Hessians and Their Automatic Generation
- Dual field structure-preserving discretization of port-Hamiltonian systems using finite element exterior calculus
- Discrete conservation laws for finite element discretisations of multisymplectic PDEs
- Firedrake
- Solving Laplace Problems with Corner Singularities via Rational Functions
- A block preconditioner for non-isothermal flow in porous media
- Robust Multigrid Techniques for Augmented Lagrangian Preconditioning of Incompressible Stokes Equations with Extreme Viscosity Variations
- Computational Modeling for High-Fidelity Coarsening of Shallow Water Equations Based on Subgrid Data
- Comparative Study of Finite Element Methods Using the Time-Accuracy-Size(TAS) Spectrum Analysis
- The ultraspherical spectral element method
- Accelerated reactive transport simulations in heterogeneous porous media using Reaktoro and Firedrake
- A compatible finite element discretisation for the nonhydrostatic vertical slice equations
- Variational inequality approach to enforcing the non-negative constraint for advection-diffusion equations
- Conservative Galerkin methods for dispersive Hamiltonian problems
- Solver Composition Across the PDE/Linear Algebra Barrier
- Numerical experiments on extreme waves through oblique-soliton interactions
- First-Order System Least Squares Finite-Elements for Singularly Perturbed Reaction-Diffusion Equations
- Energy conserving SUPG methods for compatible finite element schemes in numerical weather prediction
- A finite element method for simulating soft active non-shearable rods immersed in generalized Newtonian fluids
- Augmented Lagrangian preconditioners for the Oseen-Frank model of nematic and cholesteric liquid crystals
- Vertical slice modelling of nonlinear Eady waves using a compatible finite element method
- A quasi-Hamiltonian discretization of the thermal shallow water equations
- A scalable variational inequality approach for flow through porous media models with pressure-dependent viscosity
- Numerical Analysis of Unsteady Implicitly Constituted Incompressible Fluids: 3-Field Formulation
- Variational Water-Wave Modeling: From Deep Water to Beaches
- Parallel accelerated Stokesian dynamics with Brownian motion
- Variational modelling of wave-structure interactions with an offshore wind-turbine mast
- Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere
- Regularity for quasilinear vectorial elliptic systems via an iterative scheme with numerical applications
- Recent advances in adaptive coarse spaces and availability in open source libraries
- Higher-Order Moving Mesh Methods for PDE-Constrained Shape Optimization
- Structure-preserving and helicity-conserving finite element approximations and preconditioning for the Hall MHD equations
- Hybridization and postprocessing in finite element exterior calculus
- A convergent post-processed discontinuous Galerkin method for incompressible flow with variable density
- A Systematic Approach to Constructing Preconditioners for the $hp$-Version Mass Matrix on Unstructured and Hybrid Finite Element Meshes
- Efficient Numerical Solution of Geometric Inverse Problems Involving Maxwell's Equations Using Shape Derivatives and Automatic Code Generation
- Bound-preserving discontinuous Galerkin methods for compressible two-phase flows in porous media
- High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities
- Unconditional Energy Stability and Solvability for a C0 Interior Penalty Method for a Sixth-Order Equation Modeling Microemulsions
- Improving the accuracy of discretisations of the vector transport equation on the lowest-order quadrilateral Raviart-Thomas finite elements
- A nonconforming primal hybrid finite element method for the two-dimensional vector Laplacian
- The `recovered space' advection scheme for lowest-order compatible finite element methods
- Interior over-penalized enriched Galerkin methods for second order elliptic equations
- CUQIpy: II. Computational uncertainty quantification for PDE-based inverse problems in Python
- Automatic variationally stable analysis for finite element computations: transient convection-diffusion problems
- \(H^2\)-conformal approximation of Miura surfaces
- Preconditioning mixed finite elements for tide models
- The regularised inertial Dean–Kawasaki equation: discontinuous Galerkin approximation and modelling for low-density regime
- High-performance implementation of discontinuous Galerkin methods with application in fluid flow
- Analysis of a Helmholtz preconditioning problem motivated by uncertainty quantification
- Fully Parallel Mesh I/O Using PETSc DMPlex with an Application to Waveform Modeling
- A full approximation scheme multilevel method for nonlinear variational inequalities
- Finite element approximation and preconditioning for anisothermal flow of implicitly-constituted non-Newtonian fluids
- The \textsc{Dune} framework: basic concepts and recent developments
Uses Software
This page was built for publication: Firedrake, automating the finite element method by composing abstractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176320)
