Return to Article Details Accuracy of conversion of proofs using Wilmink's and Goddard's methods Download Download PDF