Machine Computation in Homotopy Theory
Spheres are the basic building blocks of geometry, which can fit together to build more complicated geometric objects. Enumerating combinations of spheres is one of the central questions of homotopy theory, and this problem is known as the computation of the homotopy groups of spheres. This project is a direct attack on that central problem. … Read more