Explore projects

INF555 repo

Tools to check the accuracy of mathematical functions

Welcome to Hintikka's world! This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them.

Implementing symbolic data structure numeric grounding

A fork of MATISSE's thesis template

PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.

Various LaTeX and Beamer styles