Firedrake, automating the finite element method by composing abstractions
From MaRDI portal
Publication:3176320
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.
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
Cited in
(only showing first 100 items - show all)- Architecture and performance of Devito, a system for automated stencil computation
- Weak and strong form shape hessians and their automatic generation
- An Augmented Lagrangian Preconditioner for the 3D Stationary Incompressible Navier--Stokes Equations at High Reynolds Number
- DOLFIN: automated finite element computing
- Augmented Lagrangian preconditioners for the Oseen-Frank model of nematic and cholesteric liquid crystals
- Accelerated reactive transport simulations in heterogeneous porous media using Reaktoro and Firedrake
- Extendible and efficient Python framework for solving evolution equations with stabilized discontinuous Galerkin methods
- Compatible finite element methods for geophysical fluid dynamics
- An augmented Lagrangian preconditioner for implicitly constituted non-Newtonian incompressible flow
- A semismooth Newton method for implicitly constituted non-Newtonian fluids and its application to the numerical approximation of Bingham flow
- Variational modelling of wave-structure interactions with an offshore wind-turbine mast
- A weighted and balanced FEM for singularly perturbed reaction-diffusion problems
- The scaling and skewness of optimally transported meshes on the sphere
- Comparative Study of Finite Element Methods Using the Time-Accuracy-Size(TAS) Spectrum Analysis
- Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere
- Vertical slice modelling of nonlinear Eady waves using a compatible finite element method
- A compatible finite element discretisation for the nonhydrostatic vertical slice equations
- A new mixed finite-element method for \(H^2\) elliptic problems
- Port-Hamiltonian flexible multibody dynamics
- The ultraspherical spectral element method
- Optimal-transport -- based mesh adaptivity on the plane and sphere using finite elements
- Statistical properties of an enstrophy conserving finite element discretisation for the stochastic quasi-geostrophic equation
- Monolithic multigrid methods for magnetohydrodynamics
- Unified form language: a domain-specific language for weak formulations of partial differential equations
- Two-dimensional shape optimization with nearly conformal transformations
- Multiscale finite element calculations in Python using sfepy
- A scalable variational inequality approach for flow through porous media models with pressure-dependent viscosity
- Higher-order moving mesh methods for PDE-constrained shape optimization
- 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
- Finite element theory on curved domains with applications to discontinuous Galerkin finite element methods
- A stabilized mixed discontinuous Galerkin formulation for double porosity/permeability model
- Variational inequality approach to enforcing the non-negative constraint for advection-diffusion equations
- Fast matrix-free evaluation of discontinuous Galerkin finite element operators
- 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
- A quasi-Hamiltonian discretization of the thermal shallow water equations
- Mixed finite elements for global tide models with nonlinear damping
- Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition
- Multi-scale hydro-morphodynamic modelling using mesh movement methods
- Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations
- Firedrake
- A stable FE method for the space-time solution of the Cahn-Hilliard equation
- A constrained pressure-temperature residual (CPTR) method for non-isothermal multiphase flow in porous media
- Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations
- Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow
- A Python framework for solving advection-diffusion problems
- Dual field structure-preserving discretization of port-Hamiltonian systems using finite element exterior calculus
- First-Order System Least Squares Finite-Elements for Singularly Perturbed Reaction-Diffusion Equations
- Solving Laplace problems with corner singularities via rational functions
- Numerically modeling stochastic Lie transport in fluid dynamics
- 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
- 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
- Efficient mesh management in firedrake using PETSc DMPlex
- Optimal control of the Sabatier process in microchannel reactors
- TSFC: A Structure-Preserving Form Compiler
- Robust estimates in balanced norms for singularly perturbed reaction diffusion equations using graded meshes
- Variational Water-Wave Modeling: From Deep Water to Beaches
- Conservative Galerkin methods for dispersive Hamiltonian problems
- Robust and efficient primal-dual Newton-Krylov solvers for viscous-plastic sea-ice models
- Splitting method for elliptic equations with line sources
- Parallel accelerated Stokesian dynamics with Brownian motion
- Numerical analysis of unsteady implicitly constituted incompressible fluids: 3-field formulation
- Mixed finite elements for convection-coupled phase-change in enthalpy form: open software verified and applied to 2D benchmarks
- Composable block solvers for the four-field double porosity/permeability model
- A parallel edge orientation algorithm for quadrilateral meshes
- Automated generation and symbolic manipulation of tensor product finite elements
- Numerical experiments on extreme waves through oblique-soliton interactions
- Automated adjoints of coupled PDE-ODE systems
- Solver composition across the PDE/linear algebra barrier
- A generalised formulation of G-continuous Bezier elements applied to non-linear MHD simulations
- Discrete conservation laws for finite element discretisations of multisymplectic PDEs
- Algorithm 997: pySDC -- prototyping spectral deferred corrections
- Energy-enstrophy conserving compatible finite element schemes for the rotating shallow water equations with slip boundary conditions
- Goal-oriented error estimation for the automatic variationally stable FE method for convection-dominated diffusion problems
- Recent advances in adaptive coarse spaces and availability in open source libraries
- Cavity flow characteristics and applications to kidney stone removal
- A study of extreme water waves using a hierarchy of models based on potential-flow theory
- Optimal experiment design for a bottom friction parameter estimation problem
- 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
- Finite element approximation and preconditioning for anisothermal flow of implicitly-constituted non-Newtonian fluids
- On the convergence of monolithic multigrid for implicit Runge-Kutta time stepping of finite element problems
- \(H^2\)-conformal approximation of Miura surfaces
- Construction of Arbitrary Order Finite Element Degree-of-Freedom Maps on Polygonal and Polyhedral Cell Meshes
- On Memory Traffic and Optimisations for Low-order Finite Element Assembly Algorithms on Multi-core CPUs
- The \textsc{Dune} framework: basic concepts and recent developments
- Continuous data assimilation and long-time accuracy in a \(C^0\) interior penalty method for the Cahn-Hilliard equation
- Homogenisation applied to thermal radiation in porous media
- Computational Modeling for High-Fidelity Coarsening of Shallow Water Equations Based on Subgrid Data
- A mixed finite element discretization of dynamical optimal transport
- High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling
- A fast dynamic smooth adaptive meshing scheme with applications to compressible flow
- Models of bacteria swimming in a nematic liquid crystal
- Analysis and Numerical Approximation of Stationary Second-Order Mean Field Game Partial Differential Inclusions
- Generating C. System description
- A comparison of the shared-memory parallel programming models \textit{OpenMP}, \textit{OpenACC} and \textit{Kokkos} in the context of implicit solvers for high-order FEM
Describes a project that uses
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)
