×

可逆映射的有效代数几何和正规形式。 (英语) Zbl 1025.58018号

作者考虑了一个来自离散动力系统理论的问题(({mathbb R}^3)中微分同态的迭代)。即,如何表征不动点附近轨道的行为以及扰动下该行为的稳定性。作者在可逆映射的上下文中使用计算机。当这种映射具有某种程度的简并性时,他们在映射喷射的系数空间中应用Gröbner基技术和(形式)正规形式理论。它们表明,具有类型化对象(如AXIOM)的语言对于解决此类问题非常方便。

MSC公司:

58公里50 流形上的正规形式
37摄氏度80 对称,等变动力系统(MSC2010)
37G05号 动力系统的范式
14B05型 代数几何中的奇点
37C05型 包含光滑映射和微分同胚的动力学系统

软件:

AXIOM公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML