×

肯佐

swMATH ID: 4861
软件作者： 朱利奥·鲁比奥；弗朗西斯·谢尔盖拉特；伊冯·西雷特；泽维尔·杜森
描述： Kenzo程序实现了第二作者关于有效同调的一般思想，主要围绕Serre和Eilenberg-Moore谱序列。第一位作者（重新）发现了基本扰动引理在这些问题中的重要性，Victor Gugenheim已经注意到了这一点，该程序直接实现并直接使用了这个“引理”，该“引理“应称为代数拓扑基本定理。该程序的第一个版本称为EAT，由第一和第二作者于1989年至1990年编写。它已经在几所大学得到了证明：法国：格勒诺布尔和蒙彼利埃，比利时：卢瓦因-拉努夫，意大利：热那亚和比萨，瑞典：斯托克尔姆，日本：札幌，森冈，乌拉瓦，东京，京都，奈良，大阪和广岛。
主页： http://www-fourier.ujf-grenoble.fr/~军士长/肯佐/
编程语言： Lisp语言
操作系统： 操作系统
依赖项： 依赖关系
关键词： 表单；关键字
相关软件： 吃；ACL2型；Coq公司；HAP公司；间隙；伊莎贝尔；伊莎贝尔/HOL；CHomP公司；OpenPath（OpenPath）；SageMath公司；数学软件；Coq/SS反射；快速检查；fKenzo公司；LISP公司；米扎尔；PVS公司；PLEX公司；Hadamard搜索；单一
引用于： 70文件
ORMS中也引用了该软件。

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
类型论中的构造同调代数。 Zbl 1202.68376号
可口、蒂埃里；阿诺·斯皮瓦克
2007
全部的 前5名

53位作者引用

33 鲁比奥·加西亚、朱利奥·杰苏斯
21 安娜·罗梅罗
14 弗朗西斯·谢尔盖勒特
11 乔纳森·赫拉斯
9 维科·帕斯夸尔
8 塞萨尔·多明格斯
8 Laureano Lambán
6 Martín-Mateos，Francisco-Jesüs
5 安德烈·吉多林
5 何塞·路易斯·鲁伊斯·雷纳
4 Jose Divasón
4 米哈·洛夫（Mikhaĭlov，Roman Valer'evich）
4 雷亚尔，佩德罗
三 维克托·阿尔瓦雷斯
三 杰苏斯·阿兰塞
三 何塞安德雷斯·阿马里奥
三 阿因霍亚·贝西亚诺·阿尔卡拉兹（Ainhoa Berciano-Alcaraz）
三 朱利安·库瓦斯·罗佐
三 玛丽亚·多洛雷斯夫人
三 玛丽亚·波扎
三 吴杰
2 克莱门斯·巴拉林
2 格雷厄姆·埃利斯。
2 汉贝托·萨里亚
2 弗朗西斯科·瓦卡里诺
1 米利安·安德烈斯
1 穆罕默德·巴拉卡特
1 安娜·玛丽亚·比加蒂
1 劳伦斯·S·布莱恩。
1 可口、蒂埃里
1 Dénès，马克西姆
1 格雷厄姆·丹纳姆
1 多米尼克·杜瓦尔
1 亚萨·费拉根
1 乔瓦尼·盖菲
1 满高
1 芬坦·赫加蒂
1 托马斯·霍茨
1 斯蒂芬·赫克曼（Stephan F.Huckemann）。
1 吉梅内斯·罗兰，丽塔
1 马库斯·兰盖·赫格曼
1 帕斯卡·利恩哈特
1 Marco Buzunáriz、Miguel A。
1 丹尼尔·米盖尔
1 以斯拉·米勒
1 海伦娜·莫里纳·阿布里尔
1 塞缪尔·佩尔蒂埃
1 劳伦斯·里多
1 Sáenz de Cabezón Irigaray，爱德华多
1 阿诺·斯皮瓦克
1 亚历山大·苏西乌。
1 马库斯·西米克
1 雷内·蒂曼
全部的 前5名

26篇连载文章中引用

6 符号计算杂志
6 工程、通信和计算中的应用代数
三 国际计算机数学杂志
2 自动推理杂志
2 格鲁吉亚数学杂志
2 代数和几何拓扑
2 计算数学基础
2 Oberwolfach报告
2 同伦及相关结构杂志
2 计算机代数中的ACM通信
1 离散数学
1 计算数学
1 数学公报
1 理论计算机科学
1 离散和计算几何
1 计算的形式方面
1 国际计算机科学基础杂志
1 数学科学公报
1 数学与人工智能年鉴
1 Izvestiya：数学
1 IGPL逻辑杂志
1 同调、同伦及其应用
1 RAIRO公司。理论信息学及其应用
1 ACM计算逻辑汇刊
1 代数杂志及其应用
1 Steklov数学研究所学报
全部的 前5名

21个领域被引用

50 计算机科学（68至XX）
47 代数拓扑（55-XX）
13 范畴理论；同调代数（18-XX）
9 群论与推广（20-XX）
5 流形和细胞复合体（57至XX）
三 数学逻辑和基础（03-XX）
三 组合数学（05-XX）
三 交换代数（13-XX）
2 总体主题；集合（00-XX）
2 代数几何（14-XX）
2 线性代数和多线性代数；矩阵理论（15-XX）
2 数值分析（65-XX）
2 生物学和其他自然科学（92-XX）
1 历史和传记（01-XX）
1 阶、格、有序代数结构（06-XX）
1 几个复变量和分析空间（32-XX）
1 凸和离散几何（52至XX）
1 微分几何（53至XX）
1 一般拓扑结构（54-XX）
1 概率论与随机过程（60-XX）
1 统计学（62-XX）

按年份列出的引文