Synthesis for Rational Linear Arithmetic

Abstract

3 Synthesis and the Fourier-Motzkin method 4 3.1 Ordered Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Linear ordered-field arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.3 Synthesis… (More)

5 Figures and Tables