Chandrajit L. Bajaj Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials. 99-102 1986 2 J. Symb. Comput. 1 db/journals/jsc/jsc2.html#Bajaj86