Insa and Pauer presented a basic theory of Grbner bases for differential operators with coefficients in a commutative ring and an improved version of this result was given by Ma et al.In this paper,we present an algor...Insa and Pauer presented a basic theory of Grbner bases for differential operators with coefficients in a commutative ring and an improved version of this result was given by Ma et al.In this paper,we present an algorithmic approach for computing Grbner bases in difference-differential modules with coefficients in a commutative ring.We combine the generalized term order method of Zhou and Winkler with SPoly method of Insa and Pauer to deal with the problem.Our result is a generalization of theories of Insa and Pauer,Ma et al.,Zhou and Winkler and includes them as special cases.展开更多
A class of cubic system, which is an accompany system of a quadratic differential one, is studied. It is proved that the system has at most one limit cycle, and the critical point at infinity is a higher order one. Th...A class of cubic system, which is an accompany system of a quadratic differential one, is studied. It is proved that the system has at most one limit cycle, and the critical point at infinity is a higher order one. The structure and algebraic character of the critical point at infinity are obtained.展开更多
基金supported by National Natural Science Foundation of China (Grant No.10871017)Natural Science Foundation of Beijing (Grant No. 1102026)
文摘Insa and Pauer presented a basic theory of Grbner bases for differential operators with coefficients in a commutative ring and an improved version of this result was given by Ma et al.In this paper,we present an algorithmic approach for computing Grbner bases in difference-differential modules with coefficients in a commutative ring.We combine the generalized term order method of Zhou and Winkler with SPoly method of Insa and Pauer to deal with the problem.Our result is a generalization of theories of Insa and Pauer,Ma et al.,Zhou and Winkler and includes them as special cases.
基金This work is supported by the National Natural Science Foundation of China (Tian Yuan Foundation) (10426010) Natural Science Foundation of Fujian Province (Z0511052)Fujian Educational Bureau (JA04274).
文摘A class of cubic system, which is an accompany system of a quadratic differential one, is studied. It is proved that the system has at most one limit cycle, and the critical point at infinity is a higher order one. The structure and algebraic character of the critical point at infinity are obtained.
