computational origami, Conformal Geometric Algebra, Coq, Mathematica, program verification, Wang tiling.