格特，V。;Khvedelidze，A。;于巴利。 朝向Dirac约束形式的算法化。 （英语） Zbl 1256.70009号 Calmet，J.（编辑）等人，《场理论的全局可积性》。2006年11月1日至3日，英国达累斯伯里科克克罗夫特研究所，《2006年全球金融时报》会议记录。卡尔斯鲁厄：卡尔斯鲁厄大学（ISBN 3-86644-035-9/pbk）。135-154 (2006). 摘要：讨论了Dirac约束形式主义的核心问题，以及基于Gröbner基技术的交换代数算法方法。对于一类广泛的有限维多项式退化拉格朗日系统，我们描述了计算完整约束集的算法方案，将其分离为第一类和第二类约束子集，以及构造局部对称变换生成器。该方案通过考虑具有规范结构群的所谓光锥杨氏力学进行了例证。关于整个系列，请参见[Zbl 1170.37001号]. 引用于1文件 MSC公司： 70小时45 约束动力学，狄拉克的约束理论 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 37J05型 动力学系统与辛几何和拓扑的关系（MSC2010） 70S15型 粒子力学和系统力学中的Yang-Mills和其他规范理论 81T13型 量子场论中的Yang-Mills和其他规范理论 关键词：约束哈密顿动力学;交换代数;Gröbner基 软件：Ginv公司 PDF格式BibTeX公司 XML格式引用 \textit{V.Gerdt}等人，in：场论的整体可积性。2006年11月1日至3日，英国达累斯伯里科克克罗夫特研究所，《2006年全球金融时报论文集》。卡尔斯鲁厄：卡尔斯鲁赫大学。135——154（2006年；Zbl 1256.70009） 全文： arXiv公司 链接