Provides references for sources of all semi-algebraic formulae contained in the files in this repository.