判断一类几何最值问题可解性的计算机算法 (2000年)

利用Galois理论讨论了一类涉及不等式的几何问题,给出了判断这类问题能否用初等方法或尺规作图法求解的计算机算法.该算法依赖于整系数多项式在有理数域上的因式分解和不可约性的判定。