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

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.

Jen Karner has spent the last 10 years covering technology, streaming services, video games, while working behind the scenes as an editor for her teams. She's also the author of the award winning ...