Download or read book Non-commutative Computer Algebra with applications written by Oleksandr Motsak and published by Sudwestdeutscher Verlag Fur Hochschulschriften AG. This book was released on 2011 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book that represents the author's Ph.D. thesis is devoted to constructive module theory of polynomial graded commutative algebras over a field. It treats the theory of Grobner bases, standard bases (SB) and syzygies as well as algorithms and their implementations over graded commutative algebras, which naturally unify exterior and commutative polynomial algebras. They are graded non-commutative, associative unital algebras over fields and may contain zero-divisors. In this book we try to make the most use out of a-priori knowledge about their characteristic (super-commutative) structure in developing direct symbolic methods, algorithms and implementations, which are intrinsic to these algebras and practically efficient. We also tackle their central localizations by generalizing a variation of Mora algorithm. In this setting we prove a generalized Buchberger's criterion, which shows that syzygies of leading terms play the utmost important role in SB and syzygy computations. We develop a variation of the La Scala-Stillman free resolution algorithm. Benchmarks show that our new algorithms and implementation are efficient. We give some applications of the developed framework.