高田贤三

高田贤三程序实现了第二作者关于有效同源性的一般思想,主要围绕Serre和Eilenberg Moore谱序列。第一作者(Re-)在这些问题中发现了基本扰动引理的重要性,Victor Gugenheim已经注意到,这个程序直接实现并直接使用这个引理,这应该称为代数拓扑的基本定理。这个程序的第一个版本,叫做EAT,是由第一作者和第二作者在1989年-90年代写的。它已经在一些大学中得到了证明:法国:格勒诺布尔和蒙彼利埃,比利时:卢旺亚拉诺伊,意大利:热那亚和比萨,瑞典:StuloLm,日本:札幌,Morioka,Urawa,东京,京都,Nara,Nara and Nara。

该软件在ORMS也有参考价值。


ZBMaX中的参考文献(60篇)1标准条款

显示结果1至20的60。
按年份排序(引文
  1. 罗梅罗,阿纳河;Rubio,胡里奥;Sergeraert,弗兰西斯:纤维有效同伦的实现(2019)
  2. 邓罕,Graham(ED);Gaiffi,乔凡尼(ED);J·MIENZ罗兰,丽塔(ED);Suiuu,Alexander I.(Ed):排列拓扑和表示稳定性。1月14日举行的研讨会摘要(20, 2018)(2018)
  3. 费拉根,Aasa(ED);霍茨,托马斯(ED);Hukkman,Stephan(ED);Miller,以斯拉(ED):具有几何结构的数据统计。1月21日举行的研讨会摘要(27, 2018)(2018)
  4. 罗梅罗,阿纳河;Sergeraert,弗兰西斯:一个计算空间的文本系数的Boufield KAN算法(2017)
  5. 高,man;吴,Jie:单纯幺半群作用和相关幺半群结构(2016)
  6. Lienhardt,Pascal;Peltier,塞缪尔:增量构造过程中的同源性计算(2016)
  7. Heras,J·弥敦;Maldi-N-MateOS,弗朗西斯科Jes S;Pascual,维柯:ACL2中代数结构和态射的建模(2015)
  8. 罗梅罗,阿纳河;Sergeraert,弗兰西斯:迭代循环空间有效同伦计算的组合工具(2015)
  9. 埃利斯,Graham;HgGARTY,FIFTAN:有限正则CW空间的计算同伦(2014)
  10. LamBin,L.;RuBio,J;Malti-N-MaeOS,F. J.;Ruiz Reina,J. L.:验证单纯拓扑与代数之间的桥梁:Eilenberg Zilber算法(2014)
  11. Mikhailov,R:群中正规级数理论的同伦和组合方面。(2014)
  12. Poza,马里亚;多米尼格斯,C·萨尔;赫拉斯,J·弥敦;Rubio,胡里奥:同质图像处理的一种证明性还原策略(2014)
  13. Francisco J.,Rubio,胡里奥;Ruiz Reina,Jos -路易斯:认证符号操纵:二元单纯多项式(2013)
  14. 罗梅罗,阿纳河;Rubio,胡里奥:悬浮分类空间的同伦群:实验方法(2013)
  15. 吴,J.;Mikhailov,R. V.:同伦群作为有限群的中心。(2013)
  16. Lavaz,V.C.T.ArMaLIO,Joe&Adrés;FARU,Maar a多洛雷斯;Realand,佩德罗:有限生成阿贝尔群的半直积的同调模型。(2012)
  17. Berciano,A,Molina Abril,H.;真实,P.:计算机图像中寻找高阶不变量(2012)
  18. 杜瓦尔,Dominique:一个参数化过程:从函数的观点看(2012)
  19. Heras,J·弥敦;PoZa,Maar a;Rubio,胡里奥:验证用于数字成像的离散矢量场的算法(2012)
  20. Laman,LuraNo;Mami-N-MataOS,弗朗西斯科Jes S;Rubio,胡里奥;Ruiz Reina,Jos -路易斯:单纯拓扑中归一化定理的形式化(2012)