This page shows all presentations of this author published in EasyChair Smart Slide.
TTT2 with Termination Templates for Teaching
Jonas Schöpf and Christian Sternagel
A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Florian Meßner, Julian Parsert, Jonas Schöpf and Christian Sternagel