EAT（吃） swMATH ID: 9167 软件作者： 弗朗西斯·谢尔盖；朱利奥·鲁比奥 描述： EAT：有效同源计算的符号软件。Kenzo:EAT（=有效代数拓扑），前一个程序。在Kenzo项目（1998年）之前，EAT项目是由Julio Rubio和FS于1990年编写的。这是有史以来第一个实现谱序列的程序，实际上只是埃伦伯格-穆尔谱序列的一些特殊情况。目标是计算一些循环空间的第一个同调群，之前没有具体可用的算法。这是一个相当原始的实现，旨在通过一个具体的实验程序来说明我们的有效同调方法。逻辑学家和计算机科学家也在研究EAT程序。那些可能感兴趣的人可以下载EAT程序及其文档。 主页： http://www-fourier.ujf-grenoble.fr/~军士长/肯佐/ 相关软件： Kenzo公司;ACL2型;Coq公司;伊莎贝尔/HOL;LISP公司;米扎尔;AXIOM公司;伊莎贝尔;Flyspeck飞点;三角剖分库;FoCaLiZe公司;伊莎贝尔/伊萨尔;分析;PVS公司;马克西玛;枫树;伊萨尔 引用于： 18文件 全部的 前5名14位作者引用 13 鲁比奥·加西亚、朱利奥·杰苏斯 7 Laureano Lambán 6 塞萨尔·多明格斯 6 维科·帕斯夸尔 4 杰苏斯·阿兰塞 3 克莱门斯·巴拉林 3 乔纳森·赫拉斯 3 Martín-Mateos，Francisco-Jesüs 2 多米尼克·杜瓦尔 2 何塞·路易斯·鲁伊斯·雷纳 1 米利安·安德烈斯 1 朱利安·库瓦斯·罗佐 1 安娜·罗梅罗 1 萨里亚，温贝托 全部的 前5名9篇连载文章中引用 2 工程、通信和计算中的应用代数 1 离散数学 1 理论计算机科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 数学与人工智能年鉴 1 RAIRO公司。理论信息学及其应用 全部的 前5名在6个字段中引用 17 计算机科学（68至XX） 7 代数拓扑（55-XX） 1 数学逻辑和基础（03-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 流形和细胞复合体（57至XX） 按年份列出的引文