Exact computation for existence of a knot counterexample

[摘要] Previously, numerical evidence was presented of a self-intersecting Bezier curve having the unknot for its control polygon. This numerical demonstration resolved open questions in scientic visualization, but did not provide a formal proof of self-intersection. An example with a formal existence proof is given, even while the exact self-intersection point remains undetermined.

[学科分类] 几何与拓扑

[关键词] knot theory;isotopy;parametric curve