Geometric Reasoning with polymake
Ewgenij Gawrilow, Michael Joswig

TL;DR
This paper introduces polymake, a mathematical software system for geometric objects, providing tutorials, a survey of research results, and technical background to facilitate geometric reasoning and research.
Contribution
It offers a comprehensive tutorial, surveys existing research utilizing polymake, and describes the technical foundations of the software.
Findings
Demonstrates polymake's capabilities through tutorials
Summarizes research achievements enabled by polymake
Provides technical insights into the software's architecture
Abstract
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsData Management and Algorithms · Computational Geometry and Mesh Generation · Polynomial and algebraic computation
