数学机械化论文

基于交互式定理证明工具Coq的素数无限定理证明
论文摘要随着人工智能技术的飞速发展,人工智能与数学领域的结合愈加密切,数学机械化的发展对数学领域与人工智能领域产生了深远影响。机器证明作为数学机械化的核心,成为数学机械化领域最...
吴文俊：数学界的“老顽童”
论文摘要在世界数学史的璀璨星河中，有诸多耀眼明星，而吴文俊，必定是极为闪亮的那一颗。吴文俊是著名数学家、“数学机械化之父”。1919年出生在上海一个书香世家，2017年5月7日...