New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver ...

Professor Raúl Rojas has published a book about how symbols have been used throughout history in mathematics. The work was translated into English this year.

Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.

Discover the list of 9 most famous mathematicians in history. Learn about Archimedes, Newton, and Gauss, whose ideas shaped ...