Curtis Bright

Available identifiers

zbMath Open bright.curtisMaRDI QIDQ780358

List of research outcomes

Publication	Date of Publication	Type
Using finite automata to compute the base-\(b\) representation of the golden ratio and other quadratic irrationals	2025-01-20	Paper
A new lower bound in the \(abc\) conjecture	2024-11-08	Paper
A New Lower Bound in the $abc$ Conjecture	2023-01-26	Paper
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten	2022-10-13	Paper
A SAT-based Resolution of Lam's Problem	2020-12-08	Paper
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences	2020-12-04	Paper
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT	2020-09-19	Paper
Enumeration of Complex Golay Pairs via Programmatic SAT	2020-09-09	Paper
A nonexistence certificate for projective planes of order ten with weight 15 codewords	2020-07-15	Paper
Applying computer algebra systems with SAT solvers to the Williamson conjecture	2020-03-24	Paper
The SAT+CAS method for combinatorial search with applications to best matrices	2020-02-11	Paper
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem	2020-01-31	Paper
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics	2019-07-09	Paper
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples	2018-11-12	Paper
A doubling construction for Williamson matrices	2018-03-04	Paper
A New Form of Williamson's Product Theorem	2017-11-19	Paper
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures	2017-06-29	Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures	2016-11-09	Paper
Minimal Elements for the Prime Numbers	2016-06-29	Paper
Vector rational number reconstruction	2015-06-09	Paper
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem	N/A	Paper
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems	N/A	Paper
Using finite automata to compute the base-$b$ representation of the golden ratio and other quadratic irrationals	N/A	Paper

Research outcomes over time

This page was built for person: Curtis Bright