Strzebonski

• 合取范式
• 内容
• 柱形代数分解
• 多项式判别式
• 本原部分
• 结式
• 塔尔斯基定理