Max Zeuner

From MaRDI portal
Person:6404424

Available identifiers

zbMath Open zeuner.maxMaRDI QIDQ6404424

List of research outcomes





PublicationDate of PublicationType
A univalent formalization of constructive affine schemes2024-11-26Paper
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory2024-11-12Paper
A Univalent Formalization of Constructive Affine Schemes2022-12-06Paper
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory2022-07-18Paper
Families of Sets in Constructive Measure Theory2022-07-08Paper
The Functor of Points Approach to Schemes in Cubical AgdaN/APaper

Research outcomes over time

This page was built for person: Max Zeuner

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6404424&oldid=37795063"
Powered by MediaWiki