1. Preface

   • Alexander Zimmermann

   Preface 14 January 2021 Pages: 1 - 2

2. Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started

   • Angeliki Koutsoukou-Argyraki

   Survey Article Open access 06 October 2020 Pages: 3 - 26

   

3. Bounds on Sectional Curvature and Interactions with Topology

   • Manuel Amann

   Survey Article Open access 17 November 2020 Pages: 27 - 55

   

4. Alain Miranville: “The Cahn–Hilliard Equation: Recent Advances and Applications”

   • Helmut Abels

   Book Review Open access 02 November 2020 Pages: 57 - 62