1 Table of Contents: “... Terminierungskriterium mit Termrepräsentanten -- 5.3 Algorithmen in positiver Strukturnormalform -- 5.4 Lexikographische...”

2 Table of Contents: “... -- A.3 Symmetrisch positiv definite Matrizen -- B Nichtnegative Matrizen -- B.1 Aussagen über den...”

3 Table of Contents: “... -- A.6 Positiv reelle Systeme -- A.7 Lineare Matrixungleichungen...”

4 Table of Contents: “... positiv: Der Modifier Stack; 5.4.1Objektvervielfältigung: Array Modifier; 5.4.2Objektmengenlehre: Boolean...”