意向书 swMATH ID: 11650 软件作者： 多龙·泽尔伯格 描述： LOU，一个研究LOU Kauffman对四色定理的语言学方法的Maple包。这是“四色定理的语言理论证明”一文附带的两个包之一。本文考虑了证明具有相同叶子数的每对二叉树在某种简单语法下解析一个公共单词的问题。我们列举了几个无限族树对的常见解析词，并讨论了几种方法，以将查找一对树的解析词的问题简化为查找较小树对的解析词。每对树都有一个公共解析词的说法等价于每一个平面图都是四色的，因此结果是朝着四色定理的语言理论证明迈出的一步。 主页： http://www.math.rutgers.edu/~zeilberg/programs.html 依赖项： 枫树 关键词： 四色定理;解析单词 相关软件： 二叉树 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 关于四色定理的语言理论证明。 Zbl 1237.05005号博比·库珀;埃里克·罗兰;多龙·泽尔伯格 2012 全部的 前5名8位作者引用 1 博比·J·库珀。 1 塞巴斯蒂安·塞萨尔。 1 玛丽亚·马多尼亚 1 埃里克·罗兰。 1 朱塞佩·斯科洛 1 里克·森古普塔 1 瓦鲁特省苏克松邦 1 多龙·泽尔伯格 3篇连载文章中引用 1 应用数学进展 1 订单 1 组合数学电子杂志 在3个字段中引用 三 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 计算机科学（68至XX） 按年份列出的引文