Author:Kazuko Takahashi

Keyphrases

computational model, computational origami, Coq, elecronic cash protocol, Geometrical constraint solving, induction scheme, knot fold, planarity, PLCA, proof assistant, qualitative spatial reasoning, theorem proving, theorem proving methods.