The Non-Existence of Finite Projective Planes of Order 10
From MaRDI portal
Recommendations
- The Search for a Finite Projective Plane of Order 10
- scientific article; zbMATH DE number 1114510
- The nonexistence of ovals in a projective plane of order 10
- The non-existence of a certain finite projective plane
- About the existence of certain geometrical configurations connected with projective planes of order 10
- scientific article; zbMATH DE number 98595
- On a computational approach to the existence problem of a projective plane of order 10
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
- scientific article; zbMATH DE number 3723421
- Generalizing a non-existence theorem in finite projective planes
Cited in
(83)- Classification of line-transitive point-imprimitive linear spaces with line size at most 12
- About the existence of certain geometrical configurations connected with projective planes of order 10
- The nonexistence of code words of weight 16 in a projective plane of order 10
- A computer search for finite projective planes of order 9
- Geometric proof of the non-existence of affine planes of order 6
- The combinatorics of binary arrays
- Complete arcs and caps in some papers of Giuseppe Tallini and Walking with Giuseppe Tallini along the streets of ``Augusta Perusia
- Projective planes and congestion-free networks
- A family of extremal hypergraphs for Ryser's conjecture
- Forcing large tight components in 3-graphs
- Extending partial projective planes
- Finite projective planes and the Delsarte LP-bound
- Finite Laguerre planes of order 8 are ovoidal.
- The non-existence of 3-dimensional locally projective spaces of orders (2,9)
- A candidate for the ``Next Fermat Problem
- The largest pure partial planes of order 6 have size 25
- Discrete geometry. Abstracts from the workshop held September 20--26, 2020 (hybrid meeting)
- Moderate-density parity-check codes from projective bundles
- On the 2-\(Y\)-homogeneous condition of the incidence graphs of 2-designs
- Regular intersecting families
- On computer-assisted proving the existence of periodic and bounded orbits
- The basics of bases
- XSAT and NAE-SAT of linear CNF classes
- Experimental mathematics, computers and the a priori
- Group divisible designs in MOLS of order ten
- Finite geometries
- Mediated digraphs and quantum nonlocality
- On pancyclic representable matroids
- Pairs of MOLS of order ten satisfying non-trivial relations
- Designs, groups and computing
- Uniform semi-Latin squares and their Schur-optimality
- On characterizing designs by their codes
- scientific article; zbMATH DE number 4017748 (Why is no real title available?)
- On a computational approach to the existence problem of a projective plane of order 10
- Coordinatising planes of prime power order using finite fields
- Classification of designs with nontrivial automorphism groups
- Small latin squares, quasigroups, and loops
- There is no 2-(22, 8, 4) block design
- A survey on the existence ofG-Designs
- The nonexistence of a \((K_6-e)\)-decomposition of the complete graph \(K_{29}\)
- On Some SAT-Variants over Linear Formulas
- On bipartite graphs of diameter 3 and defect 2
- scientific article; zbMATH DE number 4096245 (Why is no real title available?)
- The Search for a Finite Projective Plane of Order 10
- Quasi‐Symmetric Designs with Good Blocks
- Inequivalent representations of geometric relation algebras
- scientific article; zbMATH DE number 1496584 (Why is no real title available?)
- scientific article; zbMATH DE number 4120886 (Why is no real title available?)
- The use of hill‐climbing to construct orthogonal steiner triple systems
- On the automorphism group of a binary q-analog of the Fano plane
- Classification results for hyperovals of generalized quadrangles
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
- scientific article; zbMATH DE number 7523387 (Why is no real title available?)
- The crisis in finite mathematics: Automated reasoning as cause and cure
- Enumerating diagonal Latin squares of order up to 9
- Self‐dual codes and the (22,8,4) balanced incomplete block design
- scientific article; zbMATH DE number 7068502 (Why is no real title available?)
- The nonexistence of ovals in a projective plane of order 10
- Algorithm portfolios
- 10 points in dimension 4 not projectively equivalent to the vertices of a convex polytope
- The problem of mutually unbiased bases in dimension 6
- Saint Petersburg school of the theory of linear groups. I: Prehistory
- Square Coloring Planar Graphs with Automatic Discharging
- Hadamard matrices related to projective planes
- Enumeration of sets of mutually orthogonal Latin rectangles
- Projective planes of order 12 do not have a collineation group of order 4
- Classifying pseudo-ovals, translation generalized quadrangles, and elation Laguerre planes of small order
- On finite models of Hilbert's incidence geometry
- ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
- An infinite family of hyperovals of \(Q^+(5,q)\), \(q\) even
- Bounds on data limits for all-to-all comparison from combinatorial designs
- A digraph version of the friendship theorem
- Myrvold's results on orthogonal triples of 10 10 Latin squares: a SAT investigation
- Enumerating extended self-orthogonal diagonal Latin squares of order up to 10
- Virtual motives for synthetic geometries, a. definition and properties of \(K_0(\mathcal{Q}_\ell)\)
- Curious characterizations of projective and affine geometries
- Computer theorem proving in mathematics
- On extendable planes of order ten
- A nonexistence certificate for projective planes of order ten with weight 15 codewords
- A construction of non self-orthogonal designs
- Computer-aided proof of Erdős discrepancy properties
- How reliable is a computer-based proof?
- Extended partial geometries: Nets and dual nets
This page was built for publication: The Non-Existence of Finite Projective Planes of Order 10
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3032911)