中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共15条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
数学机械化研究回顾与展望 期刊论文
系统科学与数学, 2008, 卷号: 028, 期号: 008, 页码: 898
作者:  吴文俊
收藏  |  浏览/下载：19/0  |  提交时间：2020/01/10
科学创新的希望 期刊论文
中国科学基金, 2006, 卷号: 20, 期号: 3, 页码: 141
作者:  吴文俊
收藏  |  浏览/下载：14/0  |  提交时间：2020/01/10
走近吴文俊院士——科学史家访谈录之四 期刊论文
广西民族学院学报(自然科学版), 2004, 卷号: 10.0, 期号: 004, 页码: 2-5
作者:  黄祖宾;  吴文俊
收藏  |  浏览/下载：36/0  |  提交时间：2021/01/14
吴文俊  数学  数学史  数学与天文丝路  
计算机时代的脑力劳动机械化与数学机械化 期刊论文
黑龙江大学自然科学学报, 2003, 卷号: 020, 期号: 002, 页码: 1
作者:  吴文俊
收藏  |  浏览/下载：19/0  |  提交时间：2020/01/10
脑力劳动机械化与科学技术现代化 期刊论文
武汉理工大学学报信息与管理工程版, 2002, 卷号: 024, 期号: 004, 页码: 6
作者:  吴文俊
收藏  |  浏览/下载：18/0  |  提交时间：2020/01/10
几何定理机器证明 期刊论文
自然科学进展, 1992, 卷号: 002, 期号: 001, 页码: 1
作者:  吴文俊
收藏  |  浏览/下载：15/0  |  提交时间：2020/01/10
ON A PROJECTION THEOREM OF QUASI-VARIETIES IN ELIMINATION THEORY 期刊论文
CHINESE ANNALS OF MATHEMATICS SERIES B, 1990, 卷号: 11, 期号: 2, 页码: 220-226
作者:  WU, WJ;  WU, WT
收藏  |  浏览/下载：86/0  |  提交时间：2018/07/30
ON THE CHEMICAL EQUILIBRIUM PROBLEM AND EQUATIONS-SOLVING 期刊论文
Acta Mathematica Scientia, 1990, 卷号: 10, 期号: 4, 页码: 361
作者:  Wu WJ(吴文俊)
收藏  |  浏览/下载：83/0  |  提交时间：2020/01/10
onaprojectiontheoremofquasivarietiesineliminationtheory 期刊论文
chineseannalsofmathematicsseriesb, 1990, 卷号: 11, 期号: 2, 页码: 220
作者:  Wu WJ(吴文俊)
收藏  |  浏览/下载：17/0  |  提交时间：2020/01/10
amechanizationmethodofgeometryanditsapplicationsivsometheremsinplanarkinematics 期刊论文
systemsscienceandmathematicalscience, 1989, 卷号: 2, 期号: 2, 页码: 97
作者:  Wu WJ(吴文俊)
收藏  |  浏览/下载：21/0  |  提交时间：2020/01/10