吴文俊全集·数学机械化卷III
《吴文俊全集·数学机械化卷III》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855523。 本卷收录了吴文俊的《数学机械化》一书。《吴文俊全集·数学机械化卷III》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《吴文俊全集·数学机械化卷III》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。
投稿
微信公众账号
微信扫一扫加关注
顶部