Lower bounds on arithmetic circuits via partial derivatives | IEEE Conference Publication | IEEE Xplore