核桃 swMATH ID: 30122 软件作者： 哈蒙·穆萨维 描述： 核桃定理的自动证明。核桃是一个软件包，它实现了一个机械决策过程，用于确定一些特殊单词（称为自动词或自动序列）的某些组合属性。胡桃木是用Java编写的，是开源的。它是根据GNU通用公共许可证授权的。 主页： https://arxiv.org/abs/1603.06017 源代码： https://github.com/hamousavi/Walnut（胡桃木） 相关软件： 组织环境信息系统；github；山核桃；整数序列；蟒蛇；Coq公司；伊莎贝尔/HOL；精益；自旋蛋白；圣杯；EERTREE公司 引用于： 56文件 全部的 前5名46位作者引用 35 杰弗里·奥特洛·沙利特 14 Narad Rampersad公司 5 詹姆斯·库里。 5 Mól，Lucas A.S。 4 杰森·贝尔。 4 米歇尔·里戈 三 阿西姆·巴南瓦尔（Aseem R.Baranwal）。 2 加布里埃尔·菲奇 2 丹尼尔·加布里奇 2 帕斯卡·奥切姆 2 埃里克·罗兰。 2 卢克·谢弗 2 马诺·斯蒂普兰蒂 2 马库斯·怀特兰。 1 鲍里斯·阿达姆切夫斯基 1 艾米莉·查利尔 1 杜、陈飞 1 埃里克·杜希恩 1 郭英军 1 凯瑟琳·黑尔（Kathryn E.Hare）。 1 特罗·哈尔朱 1 克雷格·卡普兰。 1 雅库布·科尼埃奇尼 1 科林·克劳舒克 1 玛丽·勒琼 1 朱利安·勒罗伊 1 李硕 1 托马斯·利德贝特（Thomas F.Lidbetter）。 1 吕晓涛 1 菲利波·米格诺西 1 米洛舍维奇，马尔科·S·。 1 哈蒙·穆萨维 1 阿琳·帕罗 1 阿尤什·拉贾塞卡兰 1 维勒·萨洛 1 Salo，Ville O。 1 Shan、Sonja Linghui 1 阿塞尼·M·舒尔。 1 巴托斯·索博列夫斯基 1 马西耶·乌拉斯 1 埃莉斯·范多姆 1 文志雄 1 杨凯祥 1 里姆·亚萨维 1 拉明·扎里菲 1 安纳托利·扎维亚洛夫 全部的 前5名24篇连载文章中引用 12 理论计算机科学 5 RAIRO公司。理论信息学及其应用 三 组合数学电子杂志 三 整数 2 信息与计算 2 国际计算机科学基础杂志 2 澳大利亚组合数学杂志 1 离散数学 1 数学杂志 1 加拿大数学杂志 1 斐波纳契季刊 1 组合理论杂志。系列A 1 数论杂志 1 数学成绩 1 美国数学学会会刊 1 应用数学进展 1 国际代数与计算杂志 1 Indagationes Mathematicae公司。新系列 1 计算系统理论 1 整数序列期刊 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 伦敦数学学会讲座笔记系列 1 密码学和通信 1 美国数学学会会刊。B系列 全部的 前5名在8个字段中引用 49 计算机科学（68至XX） 28 数论（11-XX） 5 数理逻辑与基础（03-XX） 三 动力系统和遍历理论（37至XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 测量和集成（28-XX） 1 凸和离散几何（52至XX） 按年份列出的引文