奇点消解

代数几何中通过双有理变换消除代数簇奇异点的过程，此处作为被形式化的具体数学难题案例。