基于约束模型的主动约束捕捉及其求解算法
기우약속모형적주동약속포착급기구해산법
Research of Geometry education system base onPen-based User Interface