Interactive vs. automated proofs in computational origami | IEEE Conference Publication | IEEE Xplore