CSpace

Browse/Search Results:  1-10 of 14 Help

Selected(0)Clear Items/Page:    Sort:
数学机械化研究回顾与展望 期刊论文
系统科学与数学, 2008, 卷号: 028, 期号: 008, 页码: 898
Authors:  吴文俊
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
科学创新的希望 期刊论文
中国科学基金, 2006, 卷号: 20, 期号: 3, 页码: 141
Authors:  吴文俊
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
计算机时代的脑力劳动机械化与数学机械化 期刊论文
黑龙江大学自然科学学报, 2003, 卷号: 020, 期号: 002, 页码: 1
Authors:  吴文俊
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
脑力劳动机械化与科学技术现代化 期刊论文
武汉理工大学学报信息与管理工程版, 2002, 卷号: 024, 期号: 004, 页码: 6
Authors:  吴文俊
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
几何定理机器证明 期刊论文
自然科学进展, 1992, 卷号: 002, 期号: 001, 页码: 1
Authors:  吴文俊
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
ON A PROJECTION THEOREM OF QUASI-VARIETIES IN ELIMINATION THEORY 期刊论文
CHINESE ANNALS OF MATHEMATICS SERIES B, 1990, 卷号: 11, 期号: 2, 页码: 220-226
Authors:  WU, WJ;  WU, WT
Favorite  |  View/Download:6/0  |  Submit date:2018/07/30
ON THE CHEMICAL EQUILIBRIUM PROBLEM AND EQUATIONS-SOLVING 期刊论文
Acta Mathematica Scientia, 1990, 卷号: 10, 期号: 4, 页码: 361
Authors:  Wu WJ(吴文俊)
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
onaprojectiontheoremofquasivarietiesineliminationtheory 期刊论文
chineseannalsofmathematicsseriesb, 1990, 卷号: 11, 期号: 2, 页码: 220
Authors:  Wu WJ(吴文俊)
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
amechanizationmethodofgeometryanditsapplicationsivsometheremsinplanarkinematics 期刊论文
systemsscienceandmathematicalscience, 1989, 卷号: 2, 期号: 2, 页码: 97
Authors:  Wu WJ(吴文俊)
Favorite  |  View/Download:4/0  |  Submit date:2020/01/10
onthefoundationofalgebraicdifferentialgeometry 期刊论文
systemsscienceandmathematicalscience, 1989, 卷号: 2, 期号: 4, 页码: 289
Authors:  Wu WJ(吴文俊)
Favorite  |  View/Download:7/0  |  Submit date:2020/01/10