【摘 要】
：
In this talk,we describe the modified Abramov-Petkovsek reduction developed in the ISSAC paper written by Chen et.al this year,and present two applications:one
【出 处】
：
第七届全国计算机数学会议(CM2015)
论文部分内容阅读
In this talk,we describe the modified Abramov-Petkovsek reduction developed in the ISSAC paper written by Chen et.al this year,and present two applications:one is a reduction-based algorithm to compute telescopers for hypergeometric terms;the other provides lower and upper order bounds for telescopers.The latter application is new.
其他文献
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
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 fo
This paper mainly focuses on the topology optimization technology for 3‐D printing product design.Using traditional topology optimization technology is able to
Most Rapid prototyping(RP) processes require the input model to be represented in STereoLithography(STL) format,which is actually an approximated B‐rep represe