首页 | 本学科首页   官方微博 | 高级检索  
     


COHERENT, REGULAR AND SIMPLE SYSTEMS IN ZERO DECOMPOSITIONS OF PARTIAL DIFFERENTIAL SYSTEMS
Authors:LI Ziming
Abstract:
This paper studies triangular differential systems arising from various decompositions of partial differential polynomial systems. In theoretical aspects, we emphasizeon translating differential problems into purely algebraic ones. Rosenfeld's lemma is extended to a more general setting; relations between passivity and coherence are clarified;regular systems and simple systems are generalized and proposed, respectively. In algorithmic aspects, we review the Ritt-Wu and Seidenberg algorithms, and outline a methodfor decomposing a differential polynomial system into simple ones. Some applications arealso discussed.
Keywords:Coherent set   geometric theorem proving   irreducible triangular system  partial differential polynomial system   regular system   simple system   triangular system  zero decomposition.
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号