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.
Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
New research from UBC Okanagan mathematically demonstrates that the universe cannot be simulated. Using Gödel’s ...
Two mathematicians have proved that a straightforward question—how hard is it to untie a knot?—has a complicated answer.
Rocky Point High School math teacher Jay Rand likes to challenge his students with a classic head-scratcher on the first day ...