Litcius/Paper detail

Front Matter, Table of Contents, Preface, Conference Organization

Ugo de’ Liguoro, Stefano Berardi, Thorsten Altenkirch

2021DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)31 citationsDOIOpen Access PDF

Abstract

Front Matter, Table of Contents, Preface, Conference Organization

Topics & Concepts

Mathematical proofComputer scienceMathematicsGeometryMathematics, Computing, and Information Processing
Front Matter, Table of Contents, Preface, Conference Organization | Litcius