Automated Polynomial Formal Verification: Human-Readable Proof Generation | IEEE Conference Publication | IEEE Xplore