Explore projects

The (Jekyll generated part) of the kwarc website

The papers about MathWebSearch

Proposal (draft) for a COST action dedicated to mathematical data

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

Competition between python TicTacToe AIs

JavaScript client for Sally

The MathWebSearch Manual