健三

Kenzo程序实现了第二作者关于有效同源性的一般思想,主要围绕Serre和Eilenberg-Moore谱序列。作者在文中直接指出了这个基本定理的重要性。这个程序的第一个版本叫做EAT,是第一作者和第二作者在1989-90年间编写的。它已经在几所大学得到了证明:法国:格勒诺布尔和比利时蒙彼利埃;意大利鲁汶拉诺韦;热那亚和比萨;瑞典:斯托克尔;日本:札幌、森冈、浦和、东京、京都、奈良、大阪和广岛。

ORMS中也引用了该软件。


zbMATH中的参考文献(参考 63篇文章,1标准件)

显示第1到第20个结果,共63个。
按年份排序(引用)
  1. Bigatti,Anna M.;Heras,Jónathan;Sáenz de Cabezón,Eduardo:有效计算单纯形同调的单项式分辨率(2019年)
  2. 安德烈·吉多林;乔斯·迪瓦森;安娜·罗梅罗;弗朗西斯科·瓦卡里诺:用光谱系统计算多持久性(2019年)
  3. Romero,Ana;Rubio,Julio;Sergeraert,Francis:纤维同伦的有效实现(2019)
  4. Denham,Graham(编辑);Gaifi,Giovanni(编辑);Jímenez Rolland,Rita(编辑);Suciu,Alexander I.(编辑):排列拓扑和表示稳定性。2018年1月14日-20日(2018年)研讨会摘要
  5. Feragen,Aasa(编辑);Hotz,Thomas(编辑);Huckemann,Stephan(编辑);Miller,Ezra(编辑):具有几何结构的数据统计。2018年1月21-27日(2018年)研讨会摘要
  6. Guidolin,Andrea;Romero,Ana:广义谱序列的有效计算(2018)
  7. Romero,Ana;Sergeraert,Francis:计算空间有效同伦的Bousfield Kan算法(2017)
  8. 高文;吴杰:单幺半群作用与相关幺半群结构(2016)
  9. Lienhardt,Pascal;Peltier,Samuel:增量施工过程中的同源性计算(2016)
  10. Heras,Jónathan;Martín-Mateos,Francisco Jesús;Pascual,Vico:在ACL2中建模代数结构和态射(2015)
  11. Romero,Ana;Sergeraert,Francis:计算迭代循环空间有效同伦的组合工具(2015)
  12. Ellis,Graham;Hegarty,Fintan:有限正则CW空间的计算同伦(2014)
  13. Lambán,L.;Rubio,J.;Martín-Mateos,F.J.;Ruiz Reina,J.L.:验证简单拓扑与代数之间的桥梁:Eilenberg-Ziller算法(2014)
  14. 米哈伊洛夫,R.:群中正规级数理论的同伦和组合方面。(2014年)
  15. Poza,María;Domínguez,César;Heras,Jónathan;Rubio,Julio:同源图像处理的认证还原策略(2014)
  16. Lambán,Laureano;Martín-Mateos,Francisco J.;Rubio,Julio;Ruiz Reina,José-Luis:认证符号操作:双变量单纯形多项式(2013)
  17. Romero,Ana;Rubio,Julio:悬浮分类空间的同伦群:实验方法(2013)
  18. Wu,J.;Mikhailov,R.V.:作为有限呈现群中心的同伦群。(2013年)
  19. Álvarez,Víctor;Armario,JoséAndrés;Frau,maria Dolores;Real,Pedro:有限生成阿贝尔群半直积的同调模型。(2012年)
  20. Berciano,A.;Molina Abril,H.;Real,P.:在计算机图像中搜索高阶不变量(2012)