Examples are given which show the necessity of various hypotheses in the known finite dimensional complement theorems. In addition, several positive results are presented which improve one direction ...

Hyperbolic knot theory concerns itself with the study of knots and links embedded in three‐dimensional spaces that admit hyperbolic structures. The geometry of a link complement—the manifold that ...

JGEX is a software which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs. As a dynamic geometry software, ...