代数几何是研究多项式零点的学科。
Algebraic geometry is the study of zeros of polynomials.
我们不会试图比市场更聪明;我们试图理解它。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。