Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
Two mathematicians have proved that a straightforward question—how hard is it to untie a knot?—has a complicated answer.
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.
Mathematicians have broken through a long-standing barrier in the study of “minimizing surfaces,” which play an important ...
New research from UBC Okanagan mathematically demonstrates that the universe cannot be simulated. Using Gödel’s ...
A database, collecting and classifying tile-like patterns in biology, aims to be a resource and research catalyst. The human ...
Mathematician Grigori Perelman solved the Poincaré conjecture, and then rejected the $1 million prize that came with it.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback