Checking RSC criteria for extended Dixon resultant by interpolation method | IEEE Conference Publication | IEEE Xplore