雅克·马尔。;医学硕士Teixeira。 可逆映射的有效代数几何和正规形式。 (英语) Zbl 1025.58018号 修订材料完成。 15,第1期,31-55(2002). 作者考虑了一个来自离散动力系统理论的问题(({mathbb R}^3)中微分同态的迭代)。即,如何表征不动点附近轨道的行为以及扰动下该行为的稳定性。作者在可逆映射的上下文中使用计算机。当这种映射具有某种程度的简并性时,他们在映射喷射的系数空间中应用Gröbner基技术和(形式)正规形式理论。它们表明,具有类型化对象(如AXIOM)的语言对于解决此类问题非常方便。审核人:弗拉基米尔·科斯托夫(尼斯) 引用于1文件 MSC公司: 58公里50 流形上的正规形式 37摄氏度80 对称,等变动力系统(MSC2010) 37G05号 动力系统的范式 14B05型 代数几何中的奇点 37C05型 包含光滑映射和微分同胚的动力学系统 关键词:Gröbner碱;(形式)范式;有效代数几何;符号计算;可逆映射;\({\mathbb R}^3\)中的微分同态 软件:AXIOM公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Jacquemard}和\textit{M.A.Teixeira},修订版Mat.Complut。15、第1号、第31-55号(2002年;Zbl 1025.58018) 全文: 内政部 欧洲DML