학술논문
Computing tropical bitangents to smooth quartic curves in {\tt polymake}.
Document Type
Journal
Author
Geiger, Alheydis (D-MPIMIS) AMS Author Profile; Panizzut, Marta (D-MPIMIS) AMS Author Profile
Source
Subject
52 Convex and discrete geometry -- 52B Polytopes and polyhedra
52B55Computational aspects related to convexity
52B55
Language
English
Abstract
Summary: ``In this article we introduce the recently developed {\tt polymake} extension {\tt TropicalQuarticCurves} and its associated database entry in {\tt 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.''