Het Oplossen van Vraagstukken uit de Kansrekening en Combinatoriek in Natuurlijke Taal

Dit project wil een volledig geautomatiseerde aanpak ontwikkelen voor het oplossen van oefeningen over combinatoriek en waarschijnlijkheid die te vinden zijn in inleidende handboeken over discrete wiskunde.