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.80227