Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

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

And why letting people come up with their own ideas, and actually try those ideas, is almost always the best approach.

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.

The Minneapolis mayoral election, this November, will have seven candidates on the ballot: Five from the Democratic Farmer Labor party, one Republican, one Socialist and one Independent candidate. The ...