In the mathematical discipline of
idempotent analysis In mathematical analysis, idempotent analysis is the study of idempotent semirings, such as the tropical semiring. The lack of an additive inverse in the semiring is compensated somewhat by the idempotent rule A \oplus A = A.
References
*
...
, tropical analysis is the study of the
tropical semiring
In idempotent analysis, the tropical semiring is a semiring of extended real numbers with the operations of minimum (or maximum) and addition replacing the usual ("classical") operations of addition and multiplication, respectively.
The tropical ...
.
Applications
The max tropical semiring can be used appropriately to determine marking times within a given
Petri net
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that ...
and a vector filled with marking state at the beginning:
(unit for max, tropical addition) means "never before", while 0 (unit for addition, tropical multiplication) is "no additional time".
Tropical cryptography is cryptography based on the tropical semiring.
Tropical geometry is an analog to
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
, using the tropical semiring.
References
*
Further reading
*
*
See also
*
Lunar arithmetic
External links
MaxPlus algebraworking group, INRIA Rocquencourt
{{Mathanalysis-stub
Tropical geometry