Shoppu
Shoppu asistent virtual de cumpărături
Introduction to Homotopy Type Theory - Egbert Rijke
Produs

Introduction to Homotopy Type Theory - Egbert Rijke

Brand: Egbert Rijke · Categorie: Mathematics · Actualizat: 02.06.2026 03:05

513,83 lei570,92 lei

Ai ajuns la un produs concret. Îți pot spune rapid dacă merită, ce avantaje are și ce alternative similare găsești mai ușor.

Pe scurt: Rijke, Egbert: - Egbert Rijke is Postdoctoral Research Fellow at Johns Hopkins University and is a pioneering figure in homotopy type theory. As one of the co-authors of the influential book 'Homotopy Type Theory: Univa…

  • Îți pot recomanda rapid produse similare sau alternative mai bune din aceeași zonă.
  • Dacă nu e exact ce cauți, putem restrânge imediat opțiunile în funcție de preț, utilizare sau stil.
  • Poți deschide oferta din magazin sau poți continua aici conversația pentru comparații și recomandări.

Detalii despre produs

Rijke, Egbert: - Egbert Rijke is Postdoctoral Research Fellow at Johns Hopkins University and is a pioneering figure in homotopy type theory. As one of the co-authors of the influential book 'Homotopy Type Theory: Univalent Foundations of Mathematics' (2013), he has played a pivotal role in shaping the field. He is also a founder and lead developer of the agda-unimath library, which stands as the largest library of formalized mathematics written in the Agda proof assistant.

Produse similare pe care le poți explora

Poți scrie sau vorbi, dacă vocea este activată.