Firedrake, automating the finite element method by composing abstractions
From MaRDI portal
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)- Mixed finite elements for global tide models with nonlinear damping
- Vertical slice modelling of nonlinear Eady waves using a compatible finite element method
- Variational modelling of wave-structure interactions with an offshore wind-turbine mast
- A scalable variational inequality approach for flow through porous media models with pressure-dependent viscosity
- The design of conservative finite element discretisations for the vectorial modified KdV equation
- A stabilized mixed discontinuous Galerkin formulation for double porosity/permeability model
- The scaling and skewness of optimally transported meshes on the sphere
- Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere
- Mixed Kirchhoff stress-displacement-pressure formulations for incompressible hyperelasticity
- Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations
- A Reynolds-robust preconditioner for the Scott-Vogelius discretization of the stationary incompressible Navier-Stokes equations
- Augmented Lagrangian preconditioners for the Oseen-Frank model of nematic and cholesteric liquid crystals
- Port-Hamiltonian flexible multibody dynamics
- A weighted and balanced FEM for singularly perturbed reaction-diffusion problems
- Conservative Galerkin methods for dispersive Hamiltonian problems
- Optimal control of the Sabatier process in microchannel reactors
- Energy conserving SUPG methods for compatible finite element schemes in numerical weather prediction
- Multi-scale hydro-morphodynamic modelling using mesh movement methods
- A finite element method for simulating soft active non-shearable rods immersed in generalized Newtonian fluids
- Dual field structure-preserving discretization of port-Hamiltonian systems using finite element exterior calculus
- 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
- Robust approximation of generalized Biot-Brinkman problems
- A new mixed finite-element method for \(H^2\) elliptic problems
- Robust and efficient primal-dual Newton-Krylov solvers for viscous-plastic sea-ice models
- Improving the accuracy of discretisations of the vector transport equation on the lowest-order quadrilateral Raviart-Thomas finite elements
- A convergent post-processed discontinuous Galerkin method for incompressible flow with variable density
- Multigrid preconditioners for the hybridised discontinuous Galerkin discretisation of the shallow water equations
- Accelerated reactive transport simulations in heterogeneous porous media using Reaktoro and Firedrake
- Parallel accelerated Stokesian dynamics with Brownian motion
- A stable FE method for the space-time solution of the Cahn-Hilliard equation
- The ultraspherical spectral element method
- Discrete conservation laws for finite element discretisations of multisymplectic PDEs
- MetaFEM: a generic FEM solver by meta-expressions
- An energy diminishing arbitrary Lagrangian-Eulerian finite element method for two-phase Navier-Stokes flow
- Continuous data assimilation and long-time accuracy in a C^0 interior penalty method for the Cahn-Hilliard equation
- Extendible and efficient Python framework for solving evolution equations with stabilized discontinuous Galerkin methods
- A mixed finite element discretization of dynamical optimal transport
- Generating C. System description
- Numerical experiments on extreme waves through oblique-soliton interactions
- A quasi-Hamiltonian discretization of the thermal shallow water equations
- Optimal-order preconditioners for the Morse-Ingard equations
- On the development of symmetry-preserving finite element schemes for ordinary differential equations
- Goal-oriented error estimation for the automatic variationally stable FE method for convection-dominated diffusion problems
- The \textsc{Dune} framework: basic concepts and recent developments
- Composable block solvers for the four-field double porosity/permeability model
- The `recovered space' advection scheme for lowest-order compatible finite element methods
- A block preconditioner for non-isothermal flow in porous media
- Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations
- PorePy: an open-source software for simulation of multiphysics processes in fractured porous media
- Preconditioning mixed finite elements for tide models
- Mixed finite elements for convection-coupled phase-change in enthalpy form: open software verified and applied to 2D benchmarks
- High-performance implementation of discontinuous Galerkin methods with application in fluid flow
- Analysis of a Helmholtz preconditioning problem motivated by uncertainty quantification
- Leveraging HPC accelerator architectures with modern techniques -- hydrologic modeling on GPUs with ParFlow
- Variational finite element methods for waves in a Hele-Shaw tank
- Productivity, performance, and portability for computational fluid dynamics applications
- Variational inequality approach to enforcing the non-negative constraint for advection-diffusion equations
- 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
- Multi-domain muffin tin finite element density functional calculations for small molecules
- High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling
- Robust regularization of topology optimization problems with \textit{a posteriori} error estimators
- Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow
- Optimal experiment design for a bottom friction parameter estimation problem
- A generalised formulation of G-continuous Bezier elements applied to non-linear MHD simulations
- Hierarchical a posteriori error estimation of Bank-Weiser type in the FEniCS project
- Firedrake
- A scalable DG solver for the electroneutral Nernst-Planck equations
- Monolithic multigrid for implicit Runge-Kutta discretizations of incompressible fluid flow
- Parallel block preconditioners for virtual element discretizations of the time-dependent Maxwell equations
- Automated generation and symbolic manipulation of tensor product finite elements
- A parallel edge orientation algorithm for quadrilateral meshes
- Efficient mesh management in firedrake using PETSc DMPlex
- DOLFIN: automated finite element computing
- First-Order System Least Squares Finite-Elements for Singularly Perturbed Reaction-Diffusion Equations
- Two-dimensional shape optimization with nearly conformal transformations
- Comparative Study of Finite Element Methods Using the Time-Accuracy-Size(TAS) Spectrum Analysis
- TSFC: A Structure-Preserving Form Compiler
- Higher-order moving mesh methods for PDE-constrained shape optimization
- Solver composition across the PDE/linear algebra barrier
- Weak and strong form shape hessians and their automatic generation
- Efficient numerical solution of geometric inverse problems involving Maxwell's equations using shape derivatives and automatic code generation
- Numerically modeling stochastic Lie transport in fluid dynamics
- Optimal-transport -- based mesh adaptivity on the plane and sphere using finite elements
- Fast matrix-free evaluation of discontinuous Galerkin finite element operators
- Algorithm 997: pySDC -- prototyping spectral deferred corrections
- A general approach to transforming finite elements
- Cavity flow characteristics and applications to kidney stone removal
- Splitting method for elliptic equations with line sources
- A least-squares finite element reduced basis method
- Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition
- A non-stationary thermal-block benchmark model for parametric model order reduction
- Homogenisation applied to thermal radiation in porous media
- Control of bifurcation structures using shape optimization
- \texttt{PETSc TSAdjoint}: a discrete adjoint ODE solver for first-order and second-order sensitivity analysis
- Finite element approximation and preconditioning for anisothermal flow of implicitly-constituted non-Newtonian fluids
- A semismooth Newton method for implicitly constituted non-Newtonian fluids and its application to the numerical approximation of Bingham flow
- A Scalable and Robust Vertex-Star Relaxation for High-Order FEM
- Hybridization and postprocessing in finite element exterior calculus
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)
