This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory”, which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.

This volume consists of research papers and expository survey articles presented by the invited speakers of the conference on OC Harmony of GrAbner Bases and the Modern Industrial SocietyOCO. Topics include computational commutative algebra, algebraic statistics, algorithms of D-modules and combinatorics. This volume also provides current trends on GrAbner bases and will stimulate further development of many research areas surrounding GrAbner bases."

This book provides a comprehensive and user-friendly exploration of the tremendous recent developments that reveal the connections between real algebraic geometry and optimization, two subjects that were usually taught separately until the beginning of the 21st century. Real algebraic geometry studies the solutions of polynomial equations and polynomial inequalities over the real numbers. Real algebraic problems arise in many applications, including science and engineering, computer vision, robotics, and game theory. Optimization is concerned with minimizing or maximizing a given objective function over a feasible set. Presenting key ideas from classical and modern concepts in real algebraic geometry, this book develops related convex optimization techniques for polynomial optimization. The connection to optimization invites a computational view on real algebraic geometry and opens doors to applications. Intended as an introduction for students of mathematics or related fields at an advanced undergraduate or graduate level, this book serves as a valuable resource for researchers and practitioners. Each chapter is complemented by a collection of beneficial exercises, notes on references, and further reading. As a prerequisite, only some undergraduate algebra is required.

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. Through tropical geometry optimization algorithms become applicable to questions in algebraic geometry. Conversely, looking at topics in optimization through the tropical geometry lens adds an additional layer of structure. The author covers contemporary research topics that are relevant for applications such as phylogenetics, neural networks, combinatorial auctions, game theory, and computational complexity. This self-contained book grew out of several courses given at Technische Universität Berlin and elsewhere, and the main prerequisite for the reader is a basic knowledge in polytope theory. It contains a good number of exercises, many examples, beautiful figures, as well as explicit tools for computations using $texttt{polymake}$.

This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 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.

This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.

This volume consists of research papers and expository survey articles presented by the invited speakers of the conference on “Harmony of Gröbner Bases and the Modern Industrial Society”. Topics include computational commutative algebra, algebraic statistics, algorithms of D-modules and combinatorics. This volume also provides current trends on Gröbner bases and will stimulate further development of many research areas surrounding Gröbner bases./a