Vol-3457⫷ Vol-3458 ⫸Vol-3459
urn:nbn:de:0074-3458-0


Vol-3458/paper4⫷Vol-3458/paper5⫸Vol-3458/paper6
Daniel DallaireCurtis Bright

Enumerating Projective Planes of Order Nine with Proof Verification