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 ...

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 ...

Nina Le was a little nervous in the first days of the algebra II and precalculus classes at Cal State Fullerton. The 14-year-old was one of the youngest of 76 Orange County-area high school girls ...

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 ...

BRAINTREE - Did you like doing math in school? Many people didn't. But a non-profit in Massachusetts is increasing the number of students of color and low-income students in advanced level math ...