Knot theory is one of centural theme in Modern Topology, especially in studing low dimensional manifold. Polynomial invariants have been used to distinguish knots or links.
KAIST Knot Theory Research Team had developed and used a relative fast algorithm "poly" to compute various polynomial invariants. Since "poly" take inputs of knots in the form of Gauss code, it is inconvenient to use.
In this thesis, we developed an graphic interface that take a mouth-drawn knots as inputs and edit them graphically. This program called "Knot Processor" can also convert the inputs into Gauss codes and vice versa. Combining with "poly", Knot Processor can show knot picture with its various polynomial invariants.
Knot의 여러가지 다항식 불변량들은 knot을 구분하는데 매우 중요한 도구가 된다.
본 논문에서는 이들 다항식 불변량들의 계산을 보다 빠르고 쉽게 할수 있도록 그래 인터페이스를 이용한 Knot Processor를 개발하였다. 또한 Knot Processor를 다항식 불변량 의 계산뿐만아니라, 입력한 knot(link)의 여러 편집까지 가능하도록 하였고 knot의 입력방법도 마우스, Gauss code, .kp 파일 등으로 할 수 있도록 프로그래밍하였다. 이로서 다항식 불변양의 빠른 계산에 많은 도움이 되었고, 또한 knot(link)의 그림을 저장하는 것에도 많은 도움이 되었다.