吴法相关论文
提出了求二元三次符号系数多项式方程组的一种方法－组合矩阵方法，这种方法对于符号系数多项式方程组的求解计算时间复杂度低于目前其......
非线性代数方程组的求解是一个尚未完全解决的问题。基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,然而运用......
<正> 张卉中含恨而死我的妻子张卉中是《光明日报》文艺部编辑,因受我连累,长期受到残酷迫害,直到含恨离开人间。1967年8月31日,张......
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教......
