吴文俊全集·数学机械化卷III

吴文俊全集·数学机械化卷III
9787508855523
吴文俊著;高小山编订

O1-53
科学出版社
2019-05
2019
2019
　　本卷收录了吴文俊的《数学机械化》一书。《吴文俊全集·数学机械化卷III》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《吴文俊全集·数学机械化卷III》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。