University of Melbourne
Modern computers have developed far beyond being great devices for numerical simulations or tedious but straightforward algebra; and in 1990 the first mathematical research paper was published whose sole author was a thinking machine known as Shalosh B Ekhad. This course will discuss some of the great advances made in using computers to purely algorithmically discover (and prove!) nontrivial mathematical theorems in for example Number Theory and Algebraic Combinatorics. Topics include: Automated hypergeometric summation, Groebner basis, Chaos theory, Number guessing, Recurrence relations, BBP formulas.
📌 课程信息来源于 Melbourne University Handbook，选课建议为 AI 生成仅供参考。请以官方 Handbook 为准。
数据更新时间：2026 年 2 月 | WhiteMirror 不对信息准确性承担责任
