A rational approach to the Prelle-Singer algorithm

作者:Man YK*; MacCallum MAH
来源:Journal of Symbolic Computation, 1997, 24(1): 31-43.
DOI:10.1006/jsco.1997.0111

摘要

We present an approach to computing the Darboux polynomials required in the Prelle-Singer algorithm which avoids algebraic extensions of the constant field, and describe a partial implementation in REDUCE in which the leading terms of the polynomials are obtained by a modified version of the method described by Christopher and Collins.

  • 出版日期1997-7