The MathWebSearch Manual
We archive KI-Projekts of the KWARC group here.
forthel (variant) in GF
The papers about MathWebSearch
Proposal (draft) for a COST action dedicated to mathematical data
The MMT blue notes