forthel (variant) in GF
The MathWebSearch Manual
We archive KI-Projekts of the KWARC group here.
The papers about MathWebSearch
Competition between python TicTacToe AIs