Unified form language

DOI10.1145/2566630zbMath1308.65175arXiv1211.4047OpenAlexW2107979247WikidataQ113310305 ScholiaQ113310305MaRDI QIDQ5498685

Marie E. Rognes, Kristian B. Ølgaard, Martin Sandve Alnæs, Anders Logg, Garth N. Wells

Publication date: 10 February 2015

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.4047

zbMATH Keywords

functional discretization algorithm finite element method weak formulation partial differential equation Poisson equation Stokes equation tensor algebra algorithmic differentiation weak form domain specific language symbolic differentiation mixed element index notation embedded language automatic functional differentiation Einstein notation implicit summation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Boundary value problems for second-order elliptic equations (35J25) Theory of programming languages (68N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Numerical differentiation (65D25) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99) Numerical methods for partial differential equations, boundary value problems (65N99) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items

Weighted-Norm Preconditioners for a Multilayer Tide Model ⋮ Residual-based error corrector operator to enhance accuracy and reliability of neural operator surrogates of nonlinear variational boundary-value problems ⋮ A structure-preserving upwind DG scheme for a degenerate phase-field tumor model ⋮ Shape sensitivity of thermoacoustic oscillations in an annular combustor with a 3D adjoint Helmholtz solver ⋮ A semismooth Newton method for implicitly constituted non-Newtonian fluids and its application to the numerical approximation of Bingham flow ⋮ An open-source framework for coupling non-matching isogeometric shells with application to aerospace structures ⋮ Construction of Arbitrary Order Finite Element Degree-of-Freedom Maps on Polygonal and Polyhedral Cell Meshes ⋮ A probabilistic generative model for semi-supervised training of coarse-grained surrogates and enforcing physical constraints through virtual observables ⋮ Reconstruction of a space-dependent coefficient in a linear Benjamin-Bona-Mahony type equation ⋮ Multigrid preconditioners for the hybridised discontinuous Galerkin discretisation of the shallow water equations ⋮ Hybridization and postprocessing in finite element exterior calculus ⋮ Accelerated reactive transport simulations in heterogeneous porous media using Reaktoro and Firedrake ⋮ Hybrid FEM-NN models: combining artificial neural networks with the finite element method ⋮ Global linear stability analysis of a flame anchored to a cylinder ⋮ MetaFEM: a generic FEM solver by meta-expressions ⋮ Oasis: a high-level/high-performance open source Navier-Stokes solver ⋮ Discontinuous Galerkin methods for a class of nonvariational problems ⋮ Extendible and efficient Python framework for solving evolution equations with stabilized discontinuous Galerkin methods ⋮ Theoretical Analysis of Rolling Fluid Turbines ⋮ Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake ⋮ On the Use of Symmetrized Transport Equation in Goal-Oriented Adaptivity ⋮ An Approximation Scheme for Distributionally Robust PDE-Constrained Optimization ⋮ TSFC: A Structure-Preserving Form Compiler ⋮ A quasi-Hamiltonian discretization of the thermal shallow water equations ⋮ Rapid development and adjoining of transient finite element models ⋮ Modeling and simulation of keyhole-based welding as multi-domain problem using the extended finite element method ⋮ High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling ⋮ Surface tension controls the onset of gyrification in brain organoids ⋮ On some practical issues concerning the implementation of Cahn-Hilliard-Navier-Stokes type models ⋮ Simflowny 3: an upgraded platform for scientific modeling and simulation ⋮ Preconditioning for a Phase-Field Model with Application to Morphology Evolution in Organic Semiconductors ⋮ CutFEM: Discretizing geometry and partial differential equations ⋮ Stabilized formulation for phase‐field fracture in nearly incompressible hyperelasticity ⋮ Transformations for Piola-mapped elements ⋮ Hierarchical a posteriori error estimation of Bank-Weiser type in the FEniCS project ⋮ Modeling fracture propagation in poro-elastic media combining phase-field and discrete fracture models ⋮ A compatible finite element discretisation for the nonhydrostatic vertical slice equations ⋮ Theoretical and practical aspects of space-time DG-SEM implementations ⋮ Robust Multigrid Techniques for Augmented Lagrangian Preconditioning of Incompressible Stokes Equations with Extreme Viscosity Variations ⋮ Optimization of Hopf Bifurcation Points ⋮ A framework for reactive transport modeling using FEniCS-Reaktoro: governing equations and benchmarking results ⋮ Flow in Porous Media with Fractures of Varying Aperture ⋮ Cross-mode stabilized stochastic shallow water systems using stochastic finite element methods ⋮ Interpolation-based immersed finite element and isogeometric analysis ⋮ Residual-based error correction for neural operator accelerated Infinite-dimensional Bayesian inverse problems ⋮ Optimal shape design for a time-dependent Brinkman flow using asymptotic analysis techniques ⋮ Unique continuation for the Lamé system using stabilized finite element methods ⋮ Optimal design of validation experiments for the prediction of quantities of interest ⋮ Solver Composition Across the PDE/Linear Algebra Barrier ⋮ Optimal Constrained Interpolation in Mesh-Adaptive Finite Element Modeling ⋮ A Python Framework for Solving Advection-Diffusion Problems ⋮ 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 ⋮ A stabilized FEM formulation with discontinuity-capturing for solving Burgers'-type equations at high Reynolds numbers ⋮ Optimal shape design in three-dimensional Brinkman flow using asymptotic analysis techniques ⋮ Variational multiscale modeling with discretely divergence-free subscales ⋮ The \textsc{Dune} framework: basic concepts and recent developments ⋮ Open-source immersogeometric analysis of fluid-structure interaction using FEniCS and tIGAr ⋮ A Constrained Pressure-Temperature Residual (CPTR) Method for Non-Isothermal Multiphase Flow in Porous Media ⋮ ConvPDE-UQ: convolutional neural networks with quantified uncertainty for heterogeneous elliptic partial differential equations on varied domains ⋮ 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 ⋮ A sensitivity study of the Navier-Stokes-\(\alpha\) model ⋮ High-performance implementation of discontinuous Galerkin methods with application in fluid flow ⋮ A stabilized Nitsche fictitious domain method for the Stokes problem ⋮ Optimal-Transport--Based Mesh Adaptivity on the Plane and Sphere Using Finite Elements ⋮ trlib: a vector-free implementation of the GLTR method for iterative solution of the trust region problem ⋮ A hyper-reduction method using adaptivity to cut the assembly costs of reduced order models ⋮ Modeling flow in porous media with double porosity/permeability: a stabilized mixed formulation, error analysis, and numerical solutions ⋮ \textsc{tIGAr}: automating isogeometric analysis with \textsc{FEniCS} ⋮ A stabilized mixed discontinuous Galerkin formulation for double porosity/permeability model ⋮ Residual-based shock capturing in solids ⋮ Identification of the anti-diffusion coefficient for the linear Kuramoto-Sivashinsky equation ⋮ 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 ⋮ JuMP: A Modeling Language for Mathematical Optimization ⋮ The long-time \(L^2\) and \(H^1\) stability of linearly extrapolated second-order time-stepping schemes for the 2D incompressible Navier-Stokes equations ⋮ A sequential homotopy method for mathematical programming problems ⋮ Adjoint optimization of pressurized membrane structures using automatic differentiation tools ⋮ Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations ⋮ Automated Calculation of Higher Order Partial Differential Equation Constrained Derivative Information ⋮ Stabilized equal low-order finite elements in ice sheet modeling -- accuracy and robustness ⋮ A stabilized Nitsche overlapping mesh method for the Stokes problem ⋮ A general approach to transforming finite elements ⋮ Python framework for \(hp\)-adaptive discontinuous Galerkin methods for two-phase flow in porous media ⋮ UFL ⋮ Accelerating Monte Carlo estimation with derivatives of high-level finite element models ⋮ Variational inequality approach to enforcing the non-negative constraint for advection-diffusion equations ⋮ An energy approach to the solution of partial differential equations in computational mechanics via machine learning: concepts, implementation and applications ⋮ Computational Serendipity and Tensor Product Finite Element Differential Forms ⋮ Automated Adjoints of Coupled PDE-ODE Systems ⋮ Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements ⋮ Efficient Mesh Management in Firedrake Using PETSc DMPlex ⋮ A finite element method for simulating soft active non-shearable rods immersed in generalized Newtonian fluids ⋮ An Augmented Lagrangian Preconditioner for the 3D Stationary Incompressible Navier--Stokes Equations at High Reynolds Number ⋮ Finite Elements for Helmholtz Equations with a Nonlocal Boundary Condition ⋮ Discrete total variation of the normal vector field as shape prior with applications in geometric inverse problems ⋮ A phase-field fracture model for brittle anisotropic materials ⋮ Shape optimisation for faster washout in recirculating flows ⋮ Skeleton-stabilized divergence-conforming B-spline discretizations for incompressible flow problems of high Reynolds number ⋮ Control of Bifurcation Structures using Shape Optimization ⋮ Numerical study of the Navier–Stokes-αdeconvolution model with pointwise mass conservation

Uses Software

Cites Work