Person:6124940

From MaRDI portal

Available identifiers

zbMath Open ljungstrom.axelMaRDI QIDQ6124940

List of research outcomes





PublicationDate of PublicationType
Synthetic integral cohomology in Cubical Agda2024-04-10Paper
Formalizing $\pi_4(\mathbb{S}^3) \cong \mathbb{Z}/2\mathbb{Z}$ and Computing a Brunerie Number in Cubical Agda2023-01-31Paper
Computing Cohomology Rings in Cubical Agda2022-12-08Paper
Computational Synthetic Cohomology Theory in Homotopy Type TheoryN/APaper
Symmetric Monoidal Smash Products in Homotopy Type TheoryN/APaper

Research outcomes over time

This page was built for person:

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