Exotic Mazur manifolds and knot trace invariants

This page contains additional documentation for the computer calculations used in the paper \"Exotic Mazur manifolds and knot trace invariants\". The file \"A guide (README).pdf\" explains these calculations and the files contained in this dataset. These include calculations of hyperbolic volume and knot invariants from knot Floer homology and Khovanov homology. All software used is publicly available, and can be located using the citations in the paper.本页面为论文《奇异Mazur流形与纽结迹不变量》（Exotic Mazur manifolds and knot trace invariants）中所使用的计算机计算内容提供补充文档。文件"A guide (README).pdf"对本数据集包含的计算内容与相关文件进行了说明。本数据集涵盖双曲体积（hyperbolic volume）计算，以及基于纽结Floer同调（knot Floer homology）与克霍万诺夫同调（Khovanov homology）的纽结不变量计算。本数据集所使用的全部软件均为公开可用软件，可通过论文中的引用文献获取其相关信息。