Experimentation at the frontiers of reality in Schubert calculus

Christopher Hillar, Luis García-Puente, Abraham Martín del Campo, James Ruffo, Zach Teitler, Stephen L. Johnson, Frank Sottile.
    We describe the setup, design, and execution of a computational experiment utilizing a supercomputer that is helping to formulate and test conjectures in the real Schubert calculus. Largely using machines in instructional computer labs during off-hours and University breaks, it consumed in excess of 350 GigaHertz-years of computing in its first six months of operation, solving over 1.1 billion polynomial systems. This experiment can serve as a model for other large scale mathematical experiments.



The manuscript inpdf.
Previous