What's up in
Computer-assisted proofs
Latest Articles
Computer Search Settles 90-Year-Old Math Problem
By translating Keller’s conjecture into a computer-friendly search for a type of graph, researchers have finally resolved a problem about covering spaces with tiles.