Computer-assisted proofs

Sudoku (; ; originally called Number Place) is a logic-based, combinatorial number-placement puzzle. In classic Sudoku, the objective is to fill a 9 × 9 grid with digits so that each column, each row, and each of the nine 3 × 3 subgrids that compose the grid (also called "boxes", "blocks", or "regions") contains all of the digits from 1 to 9. The puzzle setter provides a partially completed grid, which, for a well-posed puzzle, has a single solution.

statement in mathematics

children's board game

conjecture about prime numbers

geometric concept of a 2D space with a "point at infinity" adjoined

mathematical theorem about sphere packing

result in dynamical systems about the persistence of quasiperiodic motions under small perturbations; partly resolves the small-divisor problem that arises in the perturbation theory of classical mechanics

mathematical proof at least partially generated by computer

ways to unscramble a Rubik's Cube with the minimum number of turns necessary

mathematical problem

a set of orthonormal bases, where each vector of a given basis has the same overlap with all the vectors of other bases

conjecture in geometry about hypercube tiling