Abstract
We describe the implementation of a subfield of the field of formal Puiseux series in polymake. This is employed for solving linear programs and computing convex hulls depending on a real parameter. Moreover, this approach is also useful for computations in tropical geometry.
Original language | English |
---|---|
Title of host publication | Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers |
Editors | Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap |
Publisher | Springer |
Pages | 429-445 |
Number of pages | 17 |
ISBN (Print) | 9783319328584 |
DOIs | |
Publication status | Published - 2016 |
Externally published | Yes |
Event | 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 - Berlin, Germany Duration: 11 Nov 2015 → 13 Nov 2015 Conference number: 6 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 9582 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 |
---|---|
Abbreviated title | MACIS 2015 |
Country/Territory | Germany |
City | Berlin |
Period | 11/11/15 → 13/11/15 |
Keywords
- Convex hull computation over ordered fields
- Linear programming over ordered fields
- Puiseux series
- Rational functions
- Tropical convex hull computation