Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183)
From MaRDI portal
scientific article; zbMATH DE number 7601001
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonexistence Certificates for Ovals in a Projective Plane of Order Ten |
scientific article; zbMATH DE number 7601001 |
Statements
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (English)
0 references
13 October 2022
0 references
combinatorial search
0 references
satisfiability checking
0 references
symbolic computation
0 references
