TSFC: A Structure-Preserving Form Compiler
From MaRDI portal
Publication:4569311
DOI10.1137/17M1130642zbMath1388.68020arXiv1705.03667WikidataQ122716901 ScholiaQ122716901MaRDI QIDQ4569311
Miklós Homolya, Fabio Luporini, Lawrence Mitchell, David A. Ham
Publication date: 28 June 2018
Published in: SIAM Journal on Scientific Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1705.03667
Theory of compilers and interpreters (68N20) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60)
Related Items
On Memory Traffic and Optimisations for Low-order Finite Element Assembly Algorithms on Multi-core CPUs ⋮ A Scalable and Robust Vertex-Star Relaxation for High-Order FEM ⋮ Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake ⋮ A quasi-Hamiltonian discretization of the thermal shallow water equations ⋮ Maximum-principle-satisfying discontinuous Galerkin methods for incompressible two-phase immiscible flow ⋮ Transformations for Piola-mapped elements ⋮ Robust Multigrid Techniques for Augmented Lagrangian Preconditioning of Incompressible Stokes Equations with Extreme Viscosity Variations ⋮ Variational multiscale modeling with discretely divergence-free subscales ⋮ Open-source immersogeometric analysis of fluid-structure interaction using FEniCS and tIGAr ⋮ Composable block solvers for the four-field double porosity/permeability model ⋮ Energy conserving upwinded compatible finite element schemes for the rotating shallow water equations ⋮ Mixed finite elements for convection-coupled phase-change in enthalpy form: open software verified and applied to 2D benchmarks ⋮ Optimal-Transport--Based Mesh Adaptivity on the Plane and Sphere Using Finite Elements ⋮ \textsc{tIGAr}: automating isogeometric analysis with \textsc{FEniCS} ⋮ Residual-based shock capturing in solids ⋮ 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 ⋮ A general approach to transforming finite elements ⋮ TSFC ⋮ An Augmented Lagrangian Preconditioner for the 3D Stationary Incompressible Navier--Stokes Equations at High Reynolds Number ⋮ Shape optimisation for faster washout in recirculating flows
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automated solution of differential equations by the finite element method. The FEniCS book
- Memory-optimal evaluation of expression trees involving large objects
- On the efficiency of symbolic computations combined with code generation for finite element methods
- Optimizations for quadrature representations of finite element tensors through automated code generation
- An Algorithm for the Optimization of Finite Element Integration Loops
- Firedrake
- Topological sorting of large networks
- Efficient compilation of a class of variational forms
- Automated Code Generation for Discontinuous Galerkin Methods
- Factor graphs and the sum-product algorithm
- Design of a High-Performance GEMM-like Tensor–Tensor Multiplication
- New development in freefem++
- Unified Embedded Parallel Finite Element Computations via Software-Based Fréchet Differentiation
- Algorithm 839
- Unified form language
- The Generation of Optimal Code for Arithmetic Expressions
- Computational Science – ICCS 2005
