Software used in 'Testing'

This records collates DOIs for the software components used in 'Testing'.

The Firedrake components and dependencies used were:

• COFFEE (A Compiler for Fast Expression Evaluation): https://doi.org/10.5281/zenodo.1306572
• FInAT (a smarter library of finite elements): https://doi.org/10.5281/zenodo.1345728
• fiat (The Finite Element Automated Tabulator): https://doi.org/10.5281/zenodo.1345263
• firedrake (an automated finite element system): https://doi.org/10.5281/zenodo.1345730
• petsc (Portable, Extensible Toolkit for Scientific Computation): https://doi.org/10.5281/zenodo.1345261
• petsc4py (The Python interface to PETSc): https://doi.org/10.5281/zenodo.1345264
• tsfc (The Two Stage Form Compiler): https://doi.org/10.5281/zenodo.1345727
• ufl (The Unified Form Language): https://doi.org/10.5281/zenodo.1345265
• PyOP2 (Framework for performance-portable parallel computations on unstructured meshes): https://doi.org/10.5281/zenodo.1345259