在双曲几何中识别单位圆图是$\mathbb{R}$-完备的
摘要：超bolic平面中的单位圆盘图的存在和单位圆盘图的识别是存在的及多项式的削高这这，它是一个多项式方程组的求解问题。在本文中，我们描述了一个将欧几里得平面到超bolic平面的单位圆盘图的存在和圆盘图的识别建立的简单框架。我们应用这个框架证明了在超bolic平面中的单位圆盘图的存在和识别问题也是存在的及多项式的削高性的。
作者：Nicholas Bieker, Thomas Bl"asius, Emil Dohse, Paul Jungeblut
论文ID：2301.05550
分类：Computational Geometry
分类简称：cs.CG
提交时间：2023-01-16