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.
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。