On the efficiency of symbolic computations combined with code generation for finite element methods

DOI10.1145/1644001.1644007zbMath1364.68375OpenAlexW2091260418WikidataQ113310514 ScholiaQ113310514MaRDI QIDQ2989087

Martin Sandve Alnæs, Kent-André Mardal

Publication date: 19 May 2017

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

Full work available at URL: https://doi.org/10.1145/1644001.1644007

zbMATH Keywords

finite elementcode generationautomationcompilermetaprogrammingvariational forms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) 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) Complexity and performance of numerical algorithms (65Y20)

Related Items (10)

On Memory Traffic and Optimisations for Low-order Finite Element Assembly Algorithms on Multi-core CPUs ⋮ TSFC: A Structure-Preserving Form Compiler ⋮ Multiphysics computation of thermal tissue damage as a consequence of electric power absorption ⋮ The study of diffuse interface propagation of dynamic failure in advanced ceramics using the phase-field approach ⋮ A novel phase‐field approach to brittle damage mechanics of gradient metamaterials combining action formalism and history variable ⋮ ConvPDE-UQ: convolutional neural networks with quantified uncertainty for heterogeneous elliptic partial differential equations on varied domains ⋮ A discrete‐mechanical approach for computation of three‐dimensional flows ⋮ An Efficient Hybrid Approach for Simulating MHD Nanofluid Flow over a Permeable Stretching Sheet ⋮ Thermodynamically consistent derivation and computation of electro-thermo-mechanical systems for solid bodies ⋮ Unified form language

Uses Software

• Diffpack
• FIAT
• FreeFem++
• GiNaC
• deal.ii
• GetDP
• DOLFIN
• FEniCS
• swiginac
• SyFi
• Sundance
• FFC
• Instant

This page was built for publication: On the efficiency of symbolic computations combined with code generation for finite element methods