Curtis Bright, University of Waterloo

Research

Read how they describe their research on their University of Waterloo profile.

computer algebra conjecture verification counterexample generation discrete mathematics satisfiability checking search algorithms symbolic computation

Latest papers

github.com/curtisbright/Myrvold-MOLS: Zenodo Release
Zenodo (CERN European Organization for Nuclear Research) · 2026 · first author
North–East lattice paths avoiding k collinear points via satisfiability
Advances in Applied Mathematics · 2026 · senior author
github.com/curtisbright/Myrvold-MOLS: Zenodo Release
Zenodo (CERN European Organization for Nuclear Research) · 2026 · first author

All 63 publications

63 publications.

01

github.com/curtisbright/Myrvold-MOLS: Zenodo Release

Curtis Bright, Amadou Keita, Brett Stevens

Zenodo (CERN European Organization for Nuclear Research)2026First authorOpen Access

DOI: 10.5281/zenodo.18130632

02

North–East lattice paths avoiding k collinear points via satisfiability

Aaron Barnoff, Curtis Bright

Advances in Applied Mathematics2026Senior authorOpen Access

DOI: 10.1016/j.aam.2026.103112

03

github.com/curtisbright/Myrvold-MOLS: Zenodo Release

Curtis Bright, Amadou Keita, Brett Stevens

Zenodo (CERN European Organization for Nuclear Research)2026First authorOpen Access

DOI: 10.5281/zenodo.18130631

04

Myrvold's Results on Orthogonal Triples of 10 × 10 Latin Squares: A SAT Investigation

Curtis Bright, Amadou Keita, Brett Stevens

The Electronic Journal of Combinatorics2026First authorOpen Access

DOI: 10.37236/13960

05

Computing the base-b representation of quadratic irrationals using automata

Aaron Barnoff, Curtis Bright, Jeffrey Shallit

Theoretical Computer Science2026

DOI: 10.1016/j.tcs.2026.115843

06

Quaternionic Perfect Sequences and Hadamard Matrices

Aidan Bennett, Curtis Bright, Paul Colinot, Ashwin Nayak

arXiv (Cornell University)2026Open Access

07

Quaternionic Perfect Sequences and Hadamard Matrices

Aidan Bennett, Curtis Bright, Paul Colinot, Ashwin Nayak

arXiv (Cornell University)2026Open Access

DOI: 10.48550/arxiv.2601.22337

08

Orthogonal Latin squares of order 10 with two relations: A SAT investigation

Curtis Bright, Amadou Keita, Brett Stevens

Discrete Mathematics Algorithms and Applications2025First authorOpen Access

DOI: 10.1142/s1793830925501563

09

New results on periodic Golay pairs

Tyler Lumsden, Ilias Kotsireas, Curtis Bright

Mathematics of Computation2025Senior author

DOI: 10.1090/mcom/4096

10

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems

Zhengyu Li, Conor Duggan, Curtis Bright, Vijay S Ganesh

arXiv (Cornell University)2025Open Access

DOI: 10.48550/arxiv.2502.06055

Frequent collaborators

Cheriton School of Computer Science
School of Mathematics and Statistics
Combinatorics and Optimization and Quantum Computing
Department of Electrical and Computer Engineering
Other

Co-authors at University of Waterloo, colored by department. Thicker lines mean more shared papers; select anyone to open their profile and their own map.

Vijay Ganesh

Cheriton School of Computer Science

32 shared papers, latest 2025

Brett Stevens

School of Mathematics and Statistics

9 shared papers, latest 2026

Jeffrey Shallit

Cheriton School of Computer Science

3 shared papers, latest 2024

Krzysztof Czarnecki

Department of Electrical and Computer Engineering

2 shared papers, latest 2016

Ashwin Nayak

Combinatorics and Optimization and Quantum Computing

2 shared papers, latest 2026

Arne Storjohann

Cheriton School of Computer Science

1 shared papers, latest 2011

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Paper to mention

Subject: Prospective PhD student: computer algebra Dear Professor Bright, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. I read your paper "github.com/curtisbright/Myrvold-MOLS: Zenodo Release" (2026), and it connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]