Spreads and packings of PG(3,2), formally!
From MaRDI portal
Publication:6653965
DOI10.4204/EPTCS.352.12MaRDI QIDQ6653965
Publication date: 17 December 2024
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Formalization of mathematics in connection with theorem provers (68V20)
This page was built for publication: Spreads and packings of PG(3,2), formally!
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653965)
