Zulip Chat Archive
Stream: maths
Topic: Zonotopes
Matthew Ballard (Dec 03 2021 at 16:11):
Background: a zonotope is the image of the unit hypercube under a linear projection.
The matroids library and the developing polytope library are both on point for formalization of facts about zonotopes.
What else is out there?
Last updated: Dec 20 2023 at 11:08 UTC