Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
semiring
|
| gptkbp:additionOperation |
maximum
|
| gptkbp:alsoKnownAs |
gptkb:tropical_semiring
|
| gptkbp:characteristic |
idempotent addition
commutative addition non-commutative multiplication in general |
| gptkbp:containsElement |
real numbers extended with negative infinity
|
| https://www.w3.org/2000/01/rdf-schema#label |
max-plus semiring
|
| gptkbp:identityElement |
0
negative infinity |
| gptkbp:isIdempotent |
true
|
| gptkbp:multiplicationOperation |
addition
|
| gptkbp:relatedTo |
gptkb:min-plus_semiring
|
| gptkbp:usedIn |
gptkb:tropical_geometry
automata theory optimization |
| gptkbp:bfsParent |
gptkb:tropical_semiring
|
| gptkbp:bfsLayer |
7
|