| ON THE FOUNDATION OF ALGEBRAIC DIFFERENTIAL GEOMETRY |
| |
| 作者姓名： | 吴文俊 |
| |
| 作者单位： | Institute of |
| |
| 基金项目： | The present paper is supported by NSFC Grant JI 85312 |
| |
| 摘 要： | An algebraic differential variety is defined as the zero-set of a differentialpolynomial set,and algebraic differential geometry is devoted to the study of such varieties.We give various decomposition formulas for the structures of such zero-sets which imply inparticular,the unique decomposition of an algebraic differential variety into its irreduciblecomponents.These formulas will find applications in various directions including mechanicaltheorem-proving of differential geometries.
|
ON THE FOUNDATION OF ALGEBRAIC DIFFERENTIAL GEOMETRY |
| |
| Wu Wenjun Institute of Systems Science,Academia Sinica,Beijing,China.ON THE FOUNDATION OF ALGEBRAIC DIFFERENTIAL GEOMETRY[J].Journal of Systems Science and Complexity,1989(4). |
| |
| Authors: | Wu Wenjun Institute of Systems Science Academia Sinica Beijing China |
| |
| Abstract: | An algebraic differential variety is defined as the zero-set of a differentialpolynomial set,and algebraic differential geometry is devoted to the study of such varieties.We give various decomposition formulas for the structures of such zero-sets which imply inparticular,the unique decomposition of an algebraic differential variety into its irreduciblecomponents.These formulas will find applications in various directions including mechanicaltheorem-proving of differential geometries. |
| |
| Keywords: | Algebraic differential geometry algebraic differential variety differential algebra computer algebra mec(?)anical theorem-proving |
| 本文献已被 CNKI 等数据库收录！ |
