6 papers
Fast Isotopy Computation for T-Curves
Zoe Geiselmann, Michael Joswig, Lars Kastner +5
A T-curve of degree is given by a regular unimodular triangulation of together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, thi…
Drawing real plane algebraic curves in OSCAR
Anne Frühbis-Krüger, Michael Joswig, Lars Kastner
We show how the computer algebra system OSCAR can be used to obtain topologically correct or visually pleasing drawings of real plane algebraic curves.
Limits of combinatorial patchworking
Zoe Geiselmann, Michael Joswig, Lars Kastner +5
It is shown that there are real plane algebraic curves of degree eight that cannot be realized as T-curves, i.e., via combinatorial patchworking. In fact, this holds for several re…
Tropical elliptic curves in 3-space
Laura Casabella, Lars Kastner, Raluca Vlad
We classify trivalent graphs with 16 vertices and 16 edges that arise from intersecting two quadratic surfaces in tropical 3-space. There are 4,009 such graphs, representing maxima…
Confirmable Workflows in OSCAR
Michael Joswig, Lars Kastner, Benjamin Lorenz
We discuss what is special about the reproducibility of workflows in computer algebra. It is emphasized how the programming language Julia and the new computer algebra system OSCAR…
Subdivisions of Hypersimplices: with a View Toward Finite Metric Spaces
Laura Casabella, Michael Joswig, Lars Kastner
The secondary fan is a polyhedral fan which stratifies the regular subdivisions of the hypersimplices . We find new infinite families of rays of , and we c…