“The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed from B.L. van der Waerden’s elimination of ...