Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
semiring
|
| gptkbp:additionIs |
min(a, b)
|
| gptkbp:alsoKnownAs |
gptkb:tropical_semiring
|
| gptkbp:category |
gptkb:algebra
|
| gptkbp:containsElement |
real numbers extended with infinity
|
| gptkbp:hasDistributiveLaw |
true
|
| https://www.w3.org/2000/01/rdf-schema#label |
min-plus semiring
|
| gptkbp:identityElement |
0
infinity |
| gptkbp:isAssociative |
true
|
| gptkbp:isCommutative |
true
|
| gptkbp:isIdempotent |
true
|
| gptkbp:multiplicationIs |
a + b
|
| gptkbp:operation1 |
minimum
|
| gptkbp:operation2 |
addition
|
| gptkbp:relatedTo |
gptkb:max-plus_semiring
|
| gptkbp:usedIn |
gptkb:tropical_geometry
automata theory optimization |
| gptkbp:bfsParent |
gptkb:tropical_semiring
|
| gptkbp:bfsLayer |
7
|