形式化复习六—Liner Arithmetics线性算术

一、syntax 举个栗子 二、Fourier-Motzkin variable elimination 傅里叶莫特金算法 傅里叶算法对于小规模等式/不等式比较有效 高中时，针对等式的变量消去，比如二元一次方程组，我们采用高斯消去，即变量替换 为了解决不等式问题，我们采用傅里叶算法 我们首先将不等式的符号方式一致，然后寻找一个变量，这个变量的正出现和负出现同时存在，我们采用两两相加进行消除 一般的

>>阅读原文<<