arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1009.2107math.GTcs.LO
收藏

纽结作为过程:一种新的不变量

Knots as processes: a new kind of invariant

L. G. Meredith, David F. Snyder

摘要:

我们展示了一个编码的节点到过程中的π演算,使节点周围的同位素,当且仅当他们的编码是弱双相似。

英文摘要:

We exhibit an encoding of knots into processes in the π-calculus such that knots are ambient isotopic if and only their encodings are weakly bisimilar.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑