Arrangements of $9$ lines in general position

The number of ways of arranging $9$ straight lines in general position in the (affine) plane.

Value: $3111341$ (3,111,341)

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.

Updates from the literature