Efficient Computation for Generalized Hermite Normal Form of Z[x] Lattice

来源 :第七届全国计算机数学会议(CM2015) | 被引量 : 0次 | 上传用户:liying09
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper,basic properties of the Gr(o)bner bases for modules in Z[x]^n are given.Based on these properties,two algorithms to compute the Gr(o)bner bases for modules in Z[x]^n are proposed.
其他文献
Parametric polynomial representation is a standard form widely used in Computer-Aided Design.
会议
In this paper,we propose a novel unsupervised algorithm for automatically segmenting a 3D shape or co-segmenting a set of 3D shapes of the same family by using
会议
Generalized B-splines in non-polynomial space has been employed as analysis tools for IGA.However,the previous models used in IGA are not the unified mathematic
会议
In isogeometric analysis(IGA),parametrization is a challenging work that greatly influences the numerical accuracy and efficiency of the numerical solution.
会议
Signature-based algorithm including F5,GVW are efficient algorithm for computing Gr(o)bner in commutative polynomial rings.
会议
Groebner basis is an important tool in computational ideal theory,and the term ordering plays an important role in the theory of Groebner bases.
会议
Dixon resultant is a fundamental tool of elimination theory.It has provided the efficient and practical solutions to some benchmark problems in a variety of app
会议
具有共形结构的拓扑曲面是黎曼面.带有黎曼度量的可定向曲面是黎曼面,反之,根据黎曼面单值化定理,黎曼面上具有保准度量.保准度量诱导了常值高斯曲率.如果曲面的欧拉示性数为
会议
We present a novel method to compute reduced Teichm"{u}ller map between shapes.The method operates by iteratively solving Beltrami equation and finally make sur
会议
In this paper,we prove that a valuation ring($)R($) is archimedean if and only if for any finitely generated ideal I of R[x],the ideal LT}(I) generated by the l
会议