archiving all the completed MSc supervision repositories after a while
The MathWebSearch Manual
The papers about MathWebSearch
Blue note for finding formula schemata.
The Manuals and Documentation of the SMGloM project
The Blue Notes of the SMGloM project