Arrangements of $12$ lines in the affine plane
The number of ways of arranging $12$ lines in the (affine) plane.
Lower bound:
Unknown
Upper bound:
Unknown
Verified bounds
Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.
- Lower bound: None yet
- Upper bound: None yet
Updates from the literature
No updates recorded.