Equation 677 Database

log in with GitHub

← all · ← by size

Size 811

7 isomorphism classes.

magma ff09a295 of size 811

magma 3a95ea23 of size 811

magma aecec68f of size 811

magma 31c1b813 of size 811

magma 14489895 of size 811

magma 42c5b8a8 of size 811

magma c3d66cf3 of size 811

Commentary

No commentary yet.

API · source · icarm.io

This website is maintained by the NSF Institute for Computer-Aided Reasoning in Mathematics (ICARM). Please acknowledge ICARM and NSF Grant DMS 2425401 in related publications, projects, or other scholarly work.