School of Computer Science
Email: cbright@uwindsor.ca
Research Interests: Computer-assisted proofs, satisfiability solving, symbolic computation, discrete mathematics, experimental mathematics, number theory
Link to Profile: Curtis Bright