Max Zeuner
From MaRDI portal
Person:6404424
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The Functor of Points Approach to Schemes in Cubical Agda (available as arXiv preprint) | N/A | Paper |
| The functor of points approach to schemes in cubical Agda | 2026-02-10 | Paper |
| A univalent formalization of constructive affine schemes | 2024-11-26 | Paper |
| Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory Logical Methods in Computer Science | 2024-11-12 | Paper |
| Univalent Foundations of Constructive Algebraic Geometry (available as arXiv preprint) | 2024-01-01 | Paper |
| A Univalent Formalization of Constructive Affine Schemes | 2022-12-06 | Paper |
| Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory | 2022-07-18 | Paper |
| Families of Sets in Constructive Measure Theory | 2022-07-08 | Paper |
| Families of Sets in Constructive Measure Theory (available as arXiv preprint) | 2022-01-01 | Paper |
Research outcomes over time
This page was built for person: Max Zeuner
