Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part I.An Improved Version of Ritt-Wu's Decomposition Algorithm

Authors
S-C.Chou,X-S.Gao
Citation
S-c.chou,x-s.gao, Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part I.An Improved Version of Ritt-Wu's Decomposition Algorithm, Journal of automated reasoning , 10(2), 1993, pp. 161-172
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
10
Issue
2
Year of publication
1993
Pages
161 - 172
Database
ACNP
SICI code