A nonexistence certificate for projective planes of order ten with weight 15 codewords
DOI10.1007/s00200-020-00426-yzbMath1460.68098arXiv1911.04032OpenAlexW3017080342MaRDI QIDQ780361
Vijay Ganesh, Dominique Roy, Brett Stevens, Curtis Bright, Ilias S. Kotsireas, Kevin K. H. Cheung
Publication date: 15 July 2020
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.04032
Symbolic computation and algebraic computation (68W30) Combinatorial aspects of finite geometries (05B25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial structures in finite projective spaces (51E20)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Computer-aided proof of Erdős discrepancy properties
- The nonexistence of code words of weight 16 in a projective plane of order 10
- Editorial: Symbolic computation and satisfiability checking
- Formally verifying the solution to the Boolean Pythagorean triples problem
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking
- Practical graph isomorphism. II.
- Unbalanced Hadamard matrices and finite projective planes of even order
- On the existence of a projective plane of order 10
- Blocking sets, k-arcs and nets of order ten
- Learning Rate Based Branching Heuristic for SAT Solvers
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- Building Bridges between Symbolic Computation and Satisfiability Checking
- Efficient SAT Solving under Assumptions
- Formalizing Projective Plane Geometry in Coq
- The Non-Existence of Finite Projective Planes of Order 10
- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- The van der Waerden NumberW(2, 6) Is 1132
- Configurations in a Plane of Order Ten
- The Search for a Finite Projective Plane of Order 10
- Green-Tao Numbers and SAT
- Enumeration of Complex Golay Pairs via Programmatic SAT
- Non-existence of a certain projective plane
- The Nonexistence of Certain Finite Projective Planes
- The nonexistence of ovals in a projective plane of order 10
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq
This page was built for publication: A nonexistence certificate for projective planes of order ten with weight 15 codewords
