Equation 677 Database

log in with GitHub

← all · ← by size

Size 803

8 isomorphism classes.

magma 6ccff252 of size 803

magma 45ed0c36 of size 803

magma 6788f231 of size 803

magma 0156151c of size 803

magma 88f9bb00 of size 803

magma 1d3acc6f of size 803

magma 1784b4a9 of size 803

magma 7d8bd110 of size 803

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.