Firedrake, automating the finite element method by composing abstractions
From MaRDI portal
(Redirected from 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)- Numerically modeling stochastic Lie transport in fluid dynamics
- A stabilized mixed discontinuous Galerkin formulation for double porosity/permeability model
- Weak and strong form shape hessians and their automatic generation
- Structure preserving transport stabilized compatible finite element methods for magnetohydrodynamics
- Energy-enstrophy conserving compatible finite element schemes for the rotating shallow water equations with slip boundary conditions
- Hybridization and postprocessing in finite element exterior calculus
- Structure-preserving and helicity-conserving finite element approximations and preconditioning for the Hall MHD equations
- The design of conservative finite element discretisations for the vectorial modified KdV equation
- Multiscale finite element calculations in Python using sfepy
- PorePy: an open-source software for simulation of multiphysics processes in fractured porous media
- Robust approximation of generalized Biot-Brinkman problems
- A convergent post-processed discontinuous Galerkin method for incompressible flow with variable density
- Finite element methods for multicomponent convection-diffusion
- 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
- A Systematic Approach to Constructing Preconditioners for the $hp$-Version Mass Matrix on Unstructured and Hybrid Finite Element Meshes
- 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
- 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
- Modeling of cardiac fibers as oriented liquid crystals
- A new mixed finite-element method for \(H^2\) elliptic problems
- Improving the accuracy of discretisations of the vector transport equation on the lowest-order quadrilateral Raviart-Thomas finite elements
- 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
- Robust and efficient primal-dual Newton-Krylov solvers for viscous-plastic sea-ice models
- Unconditional Energy Stability and Solvability for a C0 Interior Penalty Method for a Sixth-Order Equation Modeling Microemulsions
- Computational serendipity and tensor product finite element differential forms
- Mixed finite elements for global tide models with nonlinear damping
- Control of bifurcation structures using shape optimization
- 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
- Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition
- The scaling and skewness of optimally transported meshes on the sphere
- Preconditioning mixed finite elements for tide models
- High-performance implementation of discontinuous Galerkin methods with application in fluid flow
- Analysis of a Helmholtz preconditioning problem motivated by uncertainty quantification
- Perspectives on the formation of peakons in the stochastic Camassa-Holm equation
- Optimal control of the Sabatier process in microchannel reactors
- Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow
- 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
- Composable block solvers for the four-field double porosity/permeability model
- The \textsc{Dune} framework: basic concepts and recent developments
- The regularised inertial Dean–Kawasaki equation: discontinuous Galerkin approximation and modelling for low-density regime
- High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling
- Solver composition across the PDE/linear algebra barrier
- A full approximation scheme multilevel method for nonlinear variational inequalities
- Finite element approximation and preconditioning for anisothermal flow of implicitly-constituted non-Newtonian fluids
- Modelling and simulation of the cholesteric Landau-de Gennes model
- Efficient mesh management in firedrake using PETSc DMPlex
- Finite element approximation of time-dependent mean field games with nondifferentiable Hamiltonians
- A parallel edge orientation algorithm for quadrilateral meshes
- Automated generation and symbolic manipulation of tensor product finite elements
- Gaussian processes for Bayesian inverse problems associated with linear partial differential equations
- Bifurcation analysis of a two-dimensional magnetic Rayleigh-Bénard problem
- Numerical analysis of unsteady implicitly constituted incompressible fluids: 3-field formulation
- Robust estimates in balanced norms for singularly perturbed reaction diffusion equations using graded meshes
- \texttt{PETSc TSAdjoint}: a discrete adjoint ODE solver for first-order and second-order sensitivity analysis
- Compatible finite element methods for geophysical fluid dynamics
- A least-squares finite element reduced basis method
- Numerical Analysis of a Discontinuous Galerkin Method for the Borrvall--Petersson Topology Optimization Problem
- High-order splitting finite element methods for the subdiffusion equation with limited smoothing property
- Multigrid preconditioners for the hybridised discontinuous Galerkin discretisation of the shallow water equations
- Leveraging HPC accelerator architectures with modern techniques -- hydrologic modeling on GPUs with ParFlow
- Convergence of multistep projection methods for harmonic map heat flows into general surfaces
- A study of extreme water waves using a hierarchy of models based on potential-flow theory
- 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
- FIAT: enabling classical and modern macroelements
- Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations
- Generalizing Lloyd's algorithm for graph clustering
- Convergent finite element methods for the perfect conductivity problem with close-to-touching inclusions
- Statistical properties of an enstrophy conserving finite element discretisation for the stochastic quasi-geostrophic equation
- One-dimensional ferronematics in a channel: order reconstruction, bifurcations, and multistability
- An augmented Lagrangian preconditioner for the magnetohydrodynamics equations at high Reynolds and coupling numbers
- Introduction to Gaussian process regression in Bayesian inverse problems, with new results on experimental design for weighted error measures
- Goal-oriented error estimation for the automatic variationally stable FE method for convection-dominated diffusion problems
- Optimization of Hopf Bifurcation Points
- MetaFEM: a generic FEM solver by meta-expressions
- An energy diminishing arbitrary Lagrangian-Eulerian finite element method for two-phase Navier-Stokes flow
- 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
- DeepONet based preconditioning strategies for solving parametric linear systems of equations
- Multi-scale hydro-morphodynamic modelling using mesh movement methods
- 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
- Productivity, performance, and portability for computational fluid dynamics applications
- Finite element theory on curved domains with applications to discontinuous Galerkin finite element methods
- Continuous data assimilation and long-time accuracy in a C^0 interior penalty method for the Cahn-Hilliard equation
- A mixed finite element discretization of dynamical optimal transport
- Reduced basis approximations of parameterized dynamical partial differential equations via neural networks
- A Quadrature Scheme for Steady-State Diffusion Equations Involving Fractional Power of Regularly Accretive Operator
- Homogenisation applied to thermal radiation in porous media
- Port-Hamiltonian flexible multibody dynamics
- Fully parallel mesh I/O using PETSc DMPlex with an application to waveform modeling
- Variationally and numerically coupled water-wave and surf zone hydrodynamics
- An augmented Lagrangian preconditioner for implicitly constituted non-Newtonian incompressible flow
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)
