3 papers
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…
math.AG2016
Cellular sheaf cohomology in Polymake
Lars Kastner, Kristin Shaw, Anna-Lena Winz
This chapter provides a guide to our polymake extension cellularSheaves. We first define cellular sheaves on polyhedral complexes in Euclidean space, as well as cosheaves, and thei…