Showing 2024Show all
2 papers · 1 filter
cs.MS2024
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…
math.CO2024
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…