Tropical.TOM (Q161358): Difference between revisions
From MaRDI portal
Swh import (talk | contribs) SWHID from Software Heritage |
Created claim: MaRDI profile type (P1460): MaRDI dataset profile (Q5984635) |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI dataset profile / rank | |||
Normal rank | |||
Revision as of 14:07, 13 May 2024
All known non-realisable tropical oriented matroids with parameters n=6, d=3 or n=d=4. They were computed using polymake with the tropmat extension and Topcom. You need the extension tropmat for this.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tropical.TOM |
All known non-realisable tropical oriented matroids with parameters n=6, d=3 or n=d=4. They were computed using polymake with the tropmat extension and Topcom. You need the extension tropmat for this. |
Statements
15 January 2021
0 references
