fKenzo公司 swMATH ID: 1156 软件作者： 赫拉斯，J。；帕斯卡尔，V。；卢比奥，J。；谢尔盖拉特，F。 描述： fKenzo：代数拓扑计算的用户界面。fKenzo是代数拓扑学（一个子集）研究的不可或缺的助手。“完整”形容词意味着该助手不仅为使用计算内核（Kenzo）提供图形界面，还指导用户与系统的交互，并尽可能生成有关所生成计算正确性的证书。 主页： http://www.unirioja.es/cu/joheras/fKenzo/ 关键词： 符号计算系统;用户界面;构造代数拓扑 相关软件： 肯佐;HAP公司;间隙;OpenPath（OpenPath）;SCSCP公司;ACL2型;OMDoc公司 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 fKenzo：代数拓扑计算的用户界面。 Zbl 1211.55002号J·赫拉斯。;V·帕斯卡尔。;J.鲁比奥。;谢尔盖拉特，F。 2011 全部的 前5名11位作者引用 4 鲁比奥·加西亚、朱利奥·杰苏斯 三 乔纳森·赫拉斯 三 维科·帕斯夸尔 三 弗朗西斯·谢尔盖拉特 1 费拉科夫斯克，马雷克 1 彼得·弗兰内克 1 马雷克·克查尔 1 吉·马图舍克 1 安娜，罗梅罗 1 乌里·瓦格纳 1 斯蒂芬·哲切夫 全部的 前5名引用于6个系列 1 计算数学 1 符号计算杂志 1 马提马提卡省。Nueva系列 1 西班牙皇家马特马提卡足球俱乐部（La Gaceta de La Real Sociedad Matemática Española） 1 计算数学基础 1 应用与计算拓扑杂志 在2个字段中引用 7 代数拓扑（55-XX） 7 计算机科学（68至XX） 按年份列出的引文