Algorithmic Perfection: Brute-Forcing the Rubik's Cube God's Number: Permutations, Supercomputers, and Mathematical Resolution of Ultimate Mechanical Puzzle

Rubik''s Cube Disney 100, Geschicklichkeitsspiel

Prime Suspects The Anatomy of Integers and Permutations: A Mathematical Sciences Investigation

Norms on Possibilities I: Forcing With Trees and Creatures (Memoirs of the...

The Algorithmic Resolution of Diophantine Equations: A Computational Cookbook (London Mathematical Society...