SyFi Symbolic Finite Elements The finite element package SyFi is a C++ library built on top of the symbolic math library GiNaC. The name SyFi stands for Symbolic Finite Elements. The package provides polygonal domains, polynomial spaces, and degrees of freedom as symbolic expressions that are easily manipulated. This makes it easy to define finite elements and variational forms. \ The release of SyFi 0.6.0 includes a rewritten version of SFC, which is now based on UFL. Most notable in this release is the capability for exploiting the automatic differentiation tools in UFL. Kent-Andre Mardal and Martin Sandve Alns 26bc8d3a27f49f733bd58474531c724becad647a 0.6.0