A maxplus algebra is an algebra over the real numbers with maximum and addition as the two binary operations.
Category: Algebra stubs