Constructive rereading of Artin-Schreier theory Randomization, relaxation, and complexity in polynomial equation solving. Banff International Research Station workshop on randomization, relaxation, and complexity, Banff, Ontario, Canada, February 28--March 5, 2010 