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 proo...

Full description

Bibliographic Details
Main Authors: K. Marinelli, T. J. Peters
Format: Article
Language:English
Published: Universitat Politècnica de València 2019-04-01
Series:Applied General Topology
Subjects:
Online Access:https://polipapers.upv.es/index.php/AGT/article/view/10928
Description
Summary: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.
ISSN:1576-9402
1989-4147