用符号计算证明Ramsey定理的一个机械化方法
Journal of Systems Science and Mathematical Sciences（2021）
Abstract
文章给出Ramsey定理自动证明的一个代数化方法,使用符号计算软件实现了R(3,3)=6和R(3,4)=9的自动证明,并讨论了更复杂情况的简化方法,包括R(3,5)=14和R(3,3,3)=17等情形的分治策略.不同于以往的计算机辅助计算方法,文章将Ramsey定理的转化为多项式的展开合并过程,给出的证明是机械化的.
MoreAI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined