舒伯特微积分中现实前沿的实验
Experimentation at the Frontiers of Reality in Schubert Calculus
摘要：
我们描述了一个通用的框架，大规模的计算实验，在数学中使用的计算机资源，在大多数数学系。这个框架是为了一个实验而开发的，这个实验有助于在真正的舒伯特演算中制定和测试公式。在非工作时间和大学休息时间，它在教学计算机实验室中使用机器，在其运行的前六个月内消耗了超过350千兆赫兹的计算，解决了超过11亿个多项式系统。
英文摘要：
We describe a general framework for large-scale computational experiments in mathematics using computer resources that are available in most mathematics departments. This framework was developed for an experiment 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
