在polymake中计算热带双切线以平滑四次曲线
Computing tropical bitangents to smooth quartic curves in polymake
摘要：
在这篇文章中，我们介绍了最近开发的polymake扩展TropicalQuarticCurves及其在polyDB中处理光滑热带四次曲线的相关数据库条目。我们报告的算法实现，以分析热带双切线和提升条件的实封闭的价值领域。新的函数和数据被作者用来提供Plücker和Zeuthen光滑四次曲线的实双切线计数的热带证明。
英文摘要：
In this article we introduce the recently developed polymake extension TropicalQuarticCurves and its associated database entry in polyDB dealing with smooth tropical quartic curves. We report on algorithms implemented to analyze tropical bitangents and their lifting conditions over real closed valued fields. The new functions and data were used by the authors to provide a tropical proof of Plücker and Zeuthen's count of real bitangents to smooth quartic curves.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
