Computational complexity of solving equation systems (2015)