Software used in 'Solver composition across the PDE/linear algebra barrier'

This records collates DOIs for the software components used in 'Solver composition across the PDE/linear algebra barrier'.

The Firedrake components and dependencies used were:

• COFFEE (A Compiler for Fast Expression Evaluation): https://doi.org/10.5281/zenodo.208989
• FInAT (a smarter library of finite elements): https://doi.org/10.5281/zenodo.802275
• fiat (The Finite Element Automated Tabulator): https://doi.org/10.5281/zenodo.802269
• firedrake (an automated finite element system): https://doi.org/10.5281/zenodo.802271
• petsc (Portable, Extensible Toolkit for Scientific Computation): https://doi.org/10.5281/zenodo.802273
• petsc4py (The Python interface to PETSc): https://doi.org/10.5281/zenodo.802274
• tsfc (The Two Stage Form Compiler): https://doi.org/10.5281/zenodo.802268
• ufl (The Unified Form Language): https://doi.org/10.5281/zenodo.802270
• PyOP2 (Framework for performance-portable parallel computations on unstructured meshes): https://doi.org/10.5281/zenodo.802272