Nonexistence Certificates for Ovals in a Projective Plane of Order Ten

DOI10.1007/978-3-030-48966-3_8MaRDI QIDQ5041183zbMATH OpenOpenAlexFDO

Authors Curtis Bright, Brett Stevens, Vijay Ganesh, Kevin K. H. Cheung, Ilias S. Kotsireas

Publication date 13 October 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.11974

zbMATH Keywords

combinatorial searchsatisfiability checkingsymbolic computation

Mathematics Subject Classification ID

Discrete mathematics in relation to computer science (68Rxx) Algorithms in computer science (68Wxx)

Recommendations

• The nonexistence of ovals in a projective plane of order 10
• A nonexistence certificate for projective planes of order ten with weight 15 codewords
• scientific article; zbMATH DE number 4096245
• The Non-Existence of Finite Projective Planes of Order 10
• On a computational approach to the existence problem of a projective plane of order 10

Cites work

• A nonexistence certificate for projective planes of order ten with weight 15 codewords
• An empirical study of branching heuristics through the lens of global learning rate
• An orderly algorithm and some applications in finite geometry
• Applying computer algebra systems with SAT solvers to the Williamson conjecture
• Building bridges between symbolic computation and satisfiability checking
• Classification algorithms for codes and designs
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
• Computer-aided proof of Erdős discrepancy properties
• Configurations in a Plane of Order Ten
• DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
• Editorial: Symbolic computation and satisfiability checking
• Efficient SAT solving under assumptions
• Every one a Winner or how to Avoid Isomorphism Search when Cataloguing Combinatorial Configurations
• Finite Projective Planes
• scientific article; zbMATH DE number 1600999 (Why is no real title available?)
• scientific article; zbMATH DE number 3809573 (Why is no real title available?)
• scientific article; zbMATH DE number 3494466 (Why is no real title available?)
• scientific article; zbMATH DE number 3801553 (Why is no real title available?)
• New ways to multiply \(3 \times 3\)-matrices
• On the existence of a projective plane of order 10
• Practical graph isomorphism. II.
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• The Non-Existence of Finite Projective Planes of Order 10
• The Nonexistence of Certain Finite Projective Planes
• The nonexistence of code words of weight 16 in a projective plane of order 10
• The nonexistence of ovals in a projective plane of order 10
• The SAT+CAS method for combinatorial search with applications to best matrices
• The Search for a Finite Projective Plane of Order 10

Cited in

(3)

• Nonexistence of ovoids in \(\Omega^+(10,3)\)
• The Non-Existence of Finite Projective Planes of Order 10
• Satisfiability modulo user propagators

Describes a project that uses

Uses Software

• Lingeling
• nauty
• Plingeling
• Traces
• DRAT-trim
• Treengeling
• Lynx

This page was built for publication: Nonexistence Certificates for Ovals in a Projective Plane of Order Ten

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5041183)