Noncommutative Polynomial Algebras of Solvable Type and Their Modules

Noncommutative Polynomial Algebras of Solvable Type and Their Modules
Author: Huishi Li
Publisher: CRC Press
Total Pages: 230
Release: 2021-11-08
Genre: Mathematics
ISBN: 1000471101

Noncommutative Polynomial Algebras of Solvable Type and Their Modules is the first book to systematically introduce the basic constructive-computational theory and methods developed for investigating solvable polynomial algebras and their modules. In doing so, this book covers: A constructive introduction to solvable polynomial algebras and Gröbner basis theory for left ideals of solvable polynomial algebras and submodules of free modules The new filtered-graded techniques combined with the determination of the existence of graded monomial orderings The elimination theory and methods (for left ideals and submodules of free modules) combining the Gröbner basis techniques with the use of Gelfand-Kirillov dimension, and the construction of different kinds of elimination orderings The computational construction of finite free resolutions (including computation of syzygies, construction of different kinds of finite minimal free resolutions based on computation of different kinds of minimal generating sets), etc. This book is perfectly suited to researchers and postgraduates researching noncommutative computational algebra and would also be an ideal resource for teaching an advanced lecture course.

Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond

Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond
Author: Teo Mora
Publisher: Cambridge University Press
Total Pages: 833
Release: 2016-04-01
Genre: Mathematics
ISBN: 1316381382

In this fourth and final volume the author extends Buchberger's Algorithm in three different directions. First, he extends the theory to group rings and other Ore-like extensions, and provides an operative scheme that allows one to set a Buchberger theory over any effective associative ring. Second, he covers similar extensions as tools for discussing parametric polynomial systems, the notion of SAGBI-bases, Gröbner bases over invariant rings and Hironaka's theory. Finally, Mora shows how Hilbert's followers - notably Janet, Gunther and Macaulay - anticipated Buchberger's ideas and discusses the most promising recent alternatives by Gerdt (involutive bases) and Faugère (F4 and F5). This comprehensive treatment in four volumes is a significant contribution to algorithmic commutative algebra that will be essential reading for algebraists and algebraic geometers.

Solving Polynomial Equation Systems

Solving Polynomial Equation Systems
Author: Teo Mora
Publisher: Cambridge University Press
Total Pages: 833
Release: 2003
Genre: Mathematics
ISBN: 1107109639

Covers extensions of Buchberger's Theory and Algorithm, and promising recent alternatives to Gröbner bases.

Homological Group Theory

Homological Group Theory
Author: Charles Terence Clegg Wall
Publisher: Cambridge University Press
Total Pages: 409
Release: 1979-12-27
Genre: Mathematics
ISBN: 0521227291

Eminent mathematicians have presented papers on homological and combinatorial techniques in group theory. The lectures are aimed at presenting in a unified way new developments in the area.

Galois Theory Through Exercises

Galois Theory Through Exercises
Author: Juliusz Brzeziński
Publisher: Springer
Total Pages: 296
Release: 2018-03-21
Genre: Mathematics
ISBN: 331972326X

This textbook offers a unique introduction to classical Galois theory through many concrete examples and exercises of varying difficulty (including computer-assisted exercises). In addition to covering standard material, the book explores topics related to classical problems such as Galois’ theorem on solvable groups of polynomial equations of prime degrees, Nagell's proof of non-solvability by radicals of quintic equations, Tschirnhausen's transformations, lunes of Hippocrates, and Galois' resolvents. Topics related to open conjectures are also discussed, including exercises related to the inverse Galois problem and cyclotomic fields. The author presents proofs of theorems, historical comments and useful references alongside the exercises, providing readers with a well-rounded introduction to the subject and a gateway to further reading. A valuable reference and a rich source of exercises with sample solutions, this book will be useful to both students and lecturers. Its original concept makes it particularly suitable for self-study.

Computer Algebra in Scientific Computing

Computer Algebra in Scientific Computing
Author: Vladimir P. Gerdt
Publisher: Springer
Total Pages: 508
Release: 2015-09-10
Genre: Computers
ISBN: 3319240218

This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in scientific computing.

Ring Theory, 83

Ring Theory, 83
Author: Louis H. Rowen
Publisher: Academic Press
Total Pages: 653
Release: 2012-12-02
Genre: Mathematics
ISBN: 0080925480

This is an abridged edition of the author's previous two-volume work, Ring Theory, which concentrates on essential material for a general ring theory course while ommitting much of the material intended for ring theory specialists. It has been praised by reviewers:**"As a textbook for graduate students, Ring Theory joins the best....The experts will find several attractive and pleasant features in Ring Theory. The most noteworthy is the inclusion, usually in supplements and appendices, of many useful constructions which are hard to locate outside of the original sources....The audience of nonexperts, mathematicians whose speciality is not ring theory, will find Ring Theory ideally suited to their needs....They, as well as students, will be well served by the many examples of rings and the glossary of major results."**--NOTICES OF THE AMS

Solving Systems of Polynomial Equations

Solving Systems of Polynomial Equations
Author: Bernd Sturmfels
Publisher: American Mathematical Soc.
Total Pages: 162
Release: 2002
Genre: Mathematics
ISBN: 0821832514

Bridging a number of mathematical disciplines, and exposing many facets of systems of polynomial equations, Bernd Sturmfels's study covers a wide spectrum of mathematical techniques and algorithms, both symbolic and numerical.

Symbolic and Algebraic Computation

Symbolic and Algebraic Computation
Author: Patrizia Gianni
Publisher: Springer Science & Business Media
Total Pages: 564
Release: 1989-08-23
Genre: Computers
ISBN: 9783540510840

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.

Mathematical Software – ICMS 2016

Mathematical Software – ICMS 2016
Author: Gert-Martin Greuel
Publisher: Springer
Total Pages: 533
Release: 2016-07-05
Genre: Computers
ISBN: 3319424327

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.