Automated production of traditional proofs for constructive geometry theorems | IEEE Conference Publication | IEEE Xplore