UFL
Unified form language: a domain-specific language for weak formulations of partial differential equations. We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted.
This software is also peer reviewed by journal TOMS.
This software is also peer reviewed by journal TOMS.
Keywords for this software
References in zbMATH (referenced in 37 articles , 1 standard article )
Showing results 1 to 20 of 37.
Sorted by year (- Farrell, Patrick E.; Mitchell, Lawrence; Wechsung, Florian: An augmented Lagrangian preconditioner for the 3D stationary incompressible Navier-Stokes equations at High Reynolds number (2019)
- Farrell, P. E.; Hake, J. E.; Funke, S. W.; Rognes, M. E.: Automated adjoints of coupled PDE-ODE systems (2019)
- Gillette, Andrew; Kloefkorn, Tyler; Sanders, Victoria: Computational serendipity and tensor product finite element differential forms (2019)
- Maddison, James R.; Goldberg, Daniel N.; Goddard, Benjamin D.: Automated calculation of higher order partial differential equation constrained derivative information (2019)
- Breckling, Sean; Neda, Monika; Pahlevani, Fran: A sensitivity study of the Navier-Stokes-(\alpha) model (2018)
- Budd, Chris J.; McRae, Andrew T. T.; Cotter, Colin J.: The scaling and skewness of optimally transported meshes on the sphere (2018)
- Helanow, Christian; Ahlkrona, Josefin: Stabilized equal low-order finite elements in ice sheet modeling -- accuracy and robustness (2018)
- Homolya, Miklós; Mitchell, Lawrence; Luporini, Fabio; Ham, David A.: TSFC: a structure-preserving form compiler (2018)
- Kirby, Robert C.: A general approach to transforming finite elements (2018)
- Kirby, Robert C.; Mitchell, Lawrence: Solver composition across the PDE/linear algebra barrier (2018)
- Lenders, Felix; Kirches, C.; Potschka, A.: \texttttrlib: a vector-free implementation of the GLTR method for iterative solution of the trust region problem (2018)
- McRae, Andrew T. T.; Cotter, Colin J.; Budd, Chris J.: Optimal-transport -- based mesh adaptivity on the plane and sphere using finite elements (2018)
- Schmidt, Stephan: Weak and strong form shape hessians and their automatic generation (2018)
- Schmidt, Stephan; Schütte, Maria; Walther, Andrea: Efficient numerical solution of geometric inverse problems involving Maxwell’s equations using shape derivatives and automatic code generation (2018)
- Shipton, J.; Gibson, T. H.; Cotter, C. J.: Higher-order compatible finite element schemes for the nonlinear rotating shallow water equations on the sphere (2018)
- Dunning, Iain; Huchette, Joey; Lubin, Miles: JuMP: a modeling language for mathematical optimization (2017)
- Luporini, Fabio; Ham, David A.; Kelly, Paul H. J.: An algorithm for the optimization of finite element integration loops (2017)
- Maddison, J. R.; Hiester, H. R.: Optimal constrained interpolation in mesh-adaptive finite element modeling (2017)
- Meftahi, Houcine: Optimal shape design in three-dimensional Brinkman flow using asymptotic analysis techniques (2017)
- Miklos Homolya, Lawrence Mitchell, Fabio Luporini, David A. Ham: TSFC: a structure-preserving form compiler (2017) arXiv