Book titles in this series

  1. Exploring Formalisation

    A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

    Authors:
    • Clara Löh
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  2. Topological Crystallography

    With a View Towards Discrete Geometric Analysis

    Authors:
    • Toshikazu Sunada
    • Copyright: 2013

    Available Renditions

    • Soft cover
    • eBook