The 17-year-old high school senior beat out roughly 2,600 student projects to claim the top spot.

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

For faculty and graduate students who would like to run a project as part of the Experimental Mathematics Lab, please contact us with a project description. We would be very happy to provide ...

Bob Moses, a lion of the civil rights movement who helped to secure voting rights for black people in Mississippi; the seat of the nation’s most virulent racial hatred in the 1960’s, saw early on the ...

Imagine walking into a math classroom. Everything is quiet, students are diligently writing and reading and thinking. You hear the rustle of paper, scratching pens, and the occasional student shifting ...

Statistics allows us to analyze data and draw meaningful conclusions. Collect weather data for your city for the past five years. Analyze trends like average temperature or rainfall using statistical ...

Teruni Lamberg, University of Nevada, Reno College of Education associate professor of elementary mathematics education, has a passion for preparing current and future educators to teach math more ...

Learn to use math and computers to model tissues, treatments, and toxicology. Develop mathematical and computational models to enhance understanding of the mechanisms governing tissue damage as a ...

Students can pursue a Master's Degree in Mathematical Sciences with an emphasis in discrete mathematics, pure mathematics, statistics, or computational and applied mathematics. Applicants are not ...