#

rotation-systems

Here is 1 public repository matching this topic...

SeverinVisionary / alternating-plane-graphs

Settling Conjectures 10.1, 10.2 and 10.3 of Althofer et al., Alternating plane graphs (Ars Math. Contemp. 8, 2015)

python reproducible-research open-data discrete-mathematics graph-theory combinatorics planar-graphs conjectures open-problems plane-graphs computer-assisted-proof certificate-verification certified-computation alternating-plane-graphs rotation-systems

Updated Sep 4, 2026
Python

Add this topic to your repo

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