讲座 | 柱形代数分解算法与不等式机器证明