EasyChair Smart SlideHelp/Log in
Author: Jonas Schöpf

This page shows all presentations of this author published in EasyChair Smart Slide.

TTT2 with Termination Templates for Teaching

TTT2 with Termination Templates for Teaching

Jonas Schöpf and Christian Sternagel

A Formally Verified Solver for Homogeneous Linear Diophantine Equations

A Formally Verified Solver for Homogeneous Linear Diophantine Equations

Florian Meßner, Julian Parsert, Jonas Schöpf and Christian Sternagel

Presentations in this collection: 2
Copyright © 2002 – 2021 EasyChair