Go backward to
4.6 Relationships between Number Domains
Go up to
4 Numbers
4.7 Arithmetic Notions
We introduce additional notions that can be used in all domains that have constants 0, 1, +, *, <= with "number-like" properties.
4.7.1 Minimum and Maximum
4.7.2 Arithmetic Quantifiers
4.7.3 Binomials
4.7.4 Matrix Operations
4.7.5 Polynomials
Author:
Wolfgang Schreiner
Last Modification: October 4, 1999