Explore projects

Related Work for FrameIT

Deliverable 4.2

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

Competition between python TicTacToe AIs

An attempt at a new KWARC web site based on the one from OpenDreamKit

The (Jekyll generated part) of the kwarc website

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

The MMT blue notes

The (Jekyll generated part) of the kwarc website