LIBROS DEL AUTOR: clara loh

2 resultados para LIBROS DEL AUTOR: clara loh

clara loh Eliminar filtro Quitar filtros
  • Exploring Formalisation
    Clara Löh
    This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples i...
    Disponible

    48,48 €

  • Geometric Group Theory
    Clara Löh
    Inspired by classical geometry, geometric group theory has in turn provided a variety of applications to geometry, topology, group theory, number theory and graph theory. This carefully written textbook provides a rigorous introduction to this rapidly evolving field whose methods have proven to be powerful tools in neighbouring fields such as geometric topology. Geometric grou...
    Disponible

    112,06 €