#

hopf-fibration

Here are 2 public repositories matching this topic...

Champitoad / CoqHopf

Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.

coq-formalization hott hopf-fibration

Updated Mar 23, 2020
HTML

LaisRast / discrete-hopf-fibrations

Discrete Hopf Fibrations

visualization quaternions hopf-fibration polytopes

Updated May 17, 2022
HTML

Improve this page

Add a description, image, and links to the hopf-fibration topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hopf-fibration topic, visit your repo's landing page and select "manage topics."