山核桃 swMATH ID: 37887 软件作者： Reed Oei、Dun Ma、Christian Schulz、Philipp Hieronymi 描述： Pecan：使用Büchi自动机的自动序列定理证明程序。Pecan是一个用于推理Sturmian单词属性的自动定理证明程序，是单词组合学领域的一个重要研究对象。它能够有效地证明关于所有Sturmian单词的非平凡数学定理。 主页： https://arxiv.org/abs/1202.01727 源代码： https://github.com/ReedOei/Pecan网站 依赖项： 蟒蛇 关键词： 逻辑;arXiv_cs。润滑油;自动定理证明;斯图尔曼语;实施;核桃;山核桃 相关软件： github;核桃;组织环境信息系统;欧米茄+;现场;反链;交流发电机2;蟒蛇;Coq公司;伊莎贝尔/霍尔;精益;自旋蛋白 引用于： 4文件 标准文章 1出版物描述软件 年份 Pecan：使用Büchi自动机的自动序列定理证明程序arXiv公司Reed Oei、Dun Ma、Christian Schulz、Philipp Hieronymi 2021 全部的 前5名10位作者引用 1 基韦利多佛里 1 皮埃尔·甘蒂 1 沃伊特·哈夫勒纳 1 Ondřej Lengál 1 尼古拉斯·马佐奇 1 米歇尔·里戈 1 杰弗里·奥特洛·沙利特 1 什马利科娃，巴博拉 1 马诺·斯蒂普兰蒂 1 马库斯·怀特兰。 2篇连载文章中引用 1 组合数学电子杂志 1 伦敦数学学会讲义系列 在2个字段中引用 4 计算机科学（68至XX） 2 数论（11-XX） 按年份列出的引文