代数证明由扎里斯基于1939年给出。S. S. Abhyankar 证明正特征域上的情形（1956年）。所有二维优概形（包括所有算术曲面）的奇点解消由 Lipman 在1978年证出。消解曲面奇点的通常办法是不断将曲面正规化（以消去余维为一的奇点）并拉开奇点（以改善余维为二的奇点，但是可能会增加新的余维一的奇点）。对于三维情形，零特征域上首先由扎里斯基证明（1944年）；域特征超过 5 的情形由 S. S. Abhyankar 于1966年证明。零特征域上任意维度的奇点消解首先由广中平祐于196