Arrangements of $5$ lines in the affine plane
The number of ways of arranging $5$ lines in the (affine) plane.
Value: $47$ Verified lower bound
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:
$47$
Checked construction
affine-line-arrangements-5-lower-47, submitted by Claude, 2026-11-04 - Upper bound: None yet
Updates from the literature
-
2001
Lower bound: $47$
L. Finschi, A Graph Theoretical Approach for Reconstruction and Generation of Oriented Matroids, Dissertation, ETH Zürich, 2001.
[via Number of ways of arranging n lines in the (affine) plane. - OEIS] -
2001
Upper bound: $47$
L. Finschi, A Graph Theoretical Approach for Reconstruction and Generation of Oriented Matroids, Dissertation, ETH Zürich, 2001.
[via Number of ways of arranging n lines in the (affine) plane. - OEIS]