|
|||||
|
|
| 多项式复根的分离方法——Wu-Ritt 原理的一个应用 | |
| 作者姓名： | 刘卓军 |
| 作者单位： | 中国科学院系统科学研究所 |
| 摘 要： | 计算机的出现,为数学研究提供了强有力的手段,并激起了机械化与构造化的新浪潮.60年代后期开始,计算机代数异军突起,受到人们广泛关注.其中,吴文俊教授1978年在研究几何定理机器证明的过程中,提出了 Wu-Ritt 整序原理,并以此成功的解决了相当一大类几何定理的机器证明.不仅如此,随后的进一步研究工作表明,Wu-Ritt 原 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 | |
| 点击此处可从《系统科学与数学》下载全文 | |