特征列方法论文

论文摘要由我国著名的数学家吴文俊先生首创的吴特征列方法是他的数学机械化理论的核心算法,机器证明的吴方法和方程求解的吴特征列方法均以此为基础。代数系统和微分方程系统的吴特征列方法...

论文摘要本文主要研究求解R2中布尔多项式方程组的吴特征列方法及其在流密码分析中的应用。具体工作包括下面三部分。我们首次给出布尔多项式的吴特征列方法,包括整序原理与零点分解定理。...