1) quasi-Groebner basis
准-Groebner基
1.
Let R be a domain, I be an ideal of the polynomial ringR[X, An algorithm for computing quasi-Groebner basis of I is given by giving the definition of S-Polynomial, and according to these results we can compute the dimension of I.
本文通过定义S-多项式,给出了系数环是整环的多项式环中理想的准-Groebner基的一个算法,并据此给出了计算该理想极大无关变元组和维数的一种方法。
2) Groebner base
Groebner基
1.
Symbolic solutions for direct displacement analysis of a three-DOF spatial parallel machine tool are proposed based on Groebner base method and computer symbolic manipulating technique.
基于Groebner基法和计算机符号处理技术,对三自由度并联机床的位置正解问题进行了符号求解。
2.
Symbolic solutions were acquired concerning the positional analysis issues of adjustable spherical three-DOF parallel mechanism based on Groebner base method and computer symbolic manipulating technique.
基于Groebner基法和计算机符号处理技术对可调球面三自由度并联机构的位置进行了符号求解。
3.
The symbolic solution was carried out upon the positional forward solution issues of 3-RPS parallel platform mechanism based on Groebner base method and computer symbolic manipulating technique.
基于Groebner基法和计算机符号处理技术,对3-RSP并联平台机构的位置正解问题进行了符号求解。
3) Groebner basis
Groebner基
1.
Solving the Algebraic Equations by Applying the Groebner Basis Method;
应用Groebner基方法求解代数方程组的解
2.
An application of Groebner basis in graded algebras;
Groebner基在分次代数中的应用
3.
Next,the reduced Groebner basis under degree lexicographic ordering for the closed-form equations is obtained using computer algebra.
使用分次字典序Groebner基与Sylvester结式相结合的代数方法,研究了给定固定铰链位置的平面四杆机构五精确点轨迹综合问题。
4) groebner bases
Groebner基
1.
In this paper, an algebraic method based on Groebner bases is applied to the synthesis of a spatial 5S S parallel robot mechanism for the first time.
Groebner基是多项式理想理论中的一个重要概念和研究工具。
2.
In this thesis, we use Groebner bases theory to study the implicization of surfaces, In fact,the parameter equations have defined a map F:P~m(k)→P~n(k), the implicit equation is a minimumal variety that contains rational parametric surfaces.
本文利用Groebner基理论研究代数曲面的隐式化，实际上是把参数方程看成映射F:P~m(k)→P~n(k)，隐式方程即为包含这个曲面的最小的代数簇。
3.
Using Hermite interpolation polynomial and the Groebner bases for vanishing ideals,we structure the Groebner bases for a R-modules with the order (?).
本文主要讨论了几种切触有理插值问题:(1)针对多元切触有理插值问题,基于多元Patrick算法的理论基础,利用Hermite插值多项式和消逝理想的Groebner基,计算任意指定序下的模的Groebner基,进而得到插值函数a(X)/b(X)的参数表示;(2)针对插值集合W={(τ_1,A_1,h_1,),…,(T_L,A_L,h_L)}上的有理插值问题,证明了商模的维数和插值条件数相等,即(3)针对向量值切触有理插值问题,类似标量情形,将向量值切触有理插值问题转化为求指定序下模的Groebncr基问题,并针对插值集合(?)上的向量值切触有理插值问题,证明了商模维数和插值条件数相等,即并且给出了指定序下向量值切触有理插值函数的参数化算法。
5) universal groebner bases
泛Groebner基
1.
Research about universal groebner bases in semigroup k[A];
半群代数k[A]中的泛Groebner基的研究
补充资料：准契约的准据法
准契约为契约以外的债务关系，即没有双方当事人的同意，由于一方的行为或事实依法律规定所产生的债务关系。就大多数国家而言，准契约包括无因管理及不当得利，其准据法没有区别；有的法律将两者分别加以规定，其准据法也有所不同。
事实发生地法 依大多数国家法律的规定，准契约的准据法为事实发生地法。其理由在于准契约既然由于一方的行为或事实所产生，无因管理行为的实施地、不当得利的给付地就是这种法律关系的所在地，当然是最自然的连结因素（见连结根据），这是一个客观的，不偏袒任何一方的因素，也是实际上最方便的因素，因为判断一个行为是否有正当原因和是否发生债务关系，只能根据这个地方的法律的规定。
支配原来法律关系的法律 如果无因管理或不当得利不是由一个独立的行为或事实所构成，而是由原先存在的法律关系所产生，例如由于代理人的越权或代理关系消灭后所产生的无因管理，由于买卖合同无效或被取消而产生的不当得利，这时就应适用原来支配代理关系及买卖合同的法律来处理这种无因管理及不当得利，即适用支配其所由产生的法律关系的法律，而不适用事实发生地法。因为在这种情况下，事实发生地只是一个偶然的连结因素,而原先的法律关系是决定性的因素。1940年的蒙得维的亚《国际民法条约》第43条末句，和《布斯塔曼特法典》第222条，都采取这个主张。
其他法律 由于侵权行为和准契约都由当事人双方中的一方造成,二者虽有违法与不违法之分,但有的国家对二者不加区别，二者的准据法也没有区别。例如1942年《意大利民法典》前加编第25条规定，以侵权行为的准据法为准契约的准据法。在分别规定无因管理及不当得利的法律中,例如《布斯塔曼特法典》,则规定无因管理依事实发生地法，而不当得利首先依各当事人的共同属人法，无共同属人法时才依给付地法。这种见解受19世纪后期欧洲大陆法系影响，是扩大属人法的适用范围的反映。
判断无因管理财产行为所产生的物权效果，以及财产权是否已经取得或消灭，适用财产所在地法。
事实发生地法 依大多数国家法律的规定，准契约的准据法为事实发生地法。其理由在于准契约既然由于一方的行为或事实所产生，无因管理行为的实施地、不当得利的给付地就是这种法律关系的所在地，当然是最自然的连结因素（见连结根据），这是一个客观的，不偏袒任何一方的因素，也是实际上最方便的因素，因为判断一个行为是否有正当原因和是否发生债务关系，只能根据这个地方的法律的规定。
支配原来法律关系的法律 如果无因管理或不当得利不是由一个独立的行为或事实所构成，而是由原先存在的法律关系所产生，例如由于代理人的越权或代理关系消灭后所产生的无因管理，由于买卖合同无效或被取消而产生的不当得利，这时就应适用原来支配代理关系及买卖合同的法律来处理这种无因管理及不当得利，即适用支配其所由产生的法律关系的法律，而不适用事实发生地法。因为在这种情况下，事实发生地只是一个偶然的连结因素,而原先的法律关系是决定性的因素。1940年的蒙得维的亚《国际民法条约》第43条末句，和《布斯塔曼特法典》第222条，都采取这个主张。
其他法律 由于侵权行为和准契约都由当事人双方中的一方造成,二者虽有违法与不违法之分,但有的国家对二者不加区别，二者的准据法也没有区别。例如1942年《意大利民法典》前加编第25条规定，以侵权行为的准据法为准契约的准据法。在分别规定无因管理及不当得利的法律中,例如《布斯塔曼特法典》,则规定无因管理依事实发生地法，而不当得利首先依各当事人的共同属人法，无共同属人法时才依给付地法。这种见解受19世纪后期欧洲大陆法系影响，是扩大属人法的适用范围的反映。
判断无因管理财产行为所产生的物权效果，以及财产权是否已经取得或消灭，适用财产所在地法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条