C. E. Larson - automated mathematical discovery, graph theory

Craig Larson

	Fall 2025 course! Experimental Mathematics: Number theory with CONJECTURING (TTh, 11:00-12:15) Graph Brain Project: Github, description. Automated Conjecturing for Sage Google Scholar Citations VCU Discrete Math Seminar Discrete Mathematics @ VCU Graph Theory: Problems and Conjectures book.