Egbert Rijke

activity

20162026

most citedThe Cayley-Dickson Construction in Homotopy Type Theory

1 citations · 1 across the 3 of their papers we have counts for

collaborators

Showing math.ATShow all

2 papers · 1 filter

math.AT2026

Autoformalizing the calculation of $π_{3} (S^{2})$

Daniel Carranza, Chunyi Liu, Emily Riehl +1

We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of $π_{3} (S^{2})$ in agda-unimath using Codex.

math.AT2016★ 1 cited

The Cayley-Dickson Construction in Homotopy Type Theory

Ulrik Buchholtz, Egbert Rijke

We define in the setting of homotopy type theory an H-space structure on $S^{3}$ . Hence we obtain a description of the quaternionic Hopf fibration $\mathbb S^3\hookrightarrow…

Autoformalizing the calculation of π3​(S2)

The Cayley-Dickson Construction in Homotopy Type Theory

Autoformalizing the calculation of $π_{3} (S^{2})$