Solving Polynomial Equation Systems Iv Volume 4 Buchberger Theory And Beyond
Download Solving Polynomial Equation Systems Iv Volume 4 Buchberger Theory And Beyond PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Solving Polynomial Equation Systems Iv Volume 4 Buchberger Theory And Beyond book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond
Author: Teo Mora
language: en
Publisher: Cambridge University Press
Release Date: 2016-04-01
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
Covers extensions of Buchberger's Theory and Algorithm, and promising recent alternatives to Gröbner bases.
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.