Nobuki Takayama

Michael Joswig

Joris van der Hoeven

Komei Fukuda

The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a series of meetings of similar theme, the ?rst being held in Beijing, China in 2002,and the second in Castro-Urdiales, Spain in 2006. The ?eld of mathematics has numerous branches, and in each branch we ?nd that algorithms, and also implementations and applications of software s- tems, are studied. Researchers who endeavor to make such studies also have international meetings within their speci'c branches of mathematics, and these meetings have made signi'cant contributions to the ?elds in which they lie. The ICMS (International Congresseson Mathematical Software), on the other hand, is a general (not branch speci'c) meeting on mathematical software, which is held every four years, and is a rare opportunity for developers of mathematical softwarefrom di'erent branchesof mathematics, as well as mathematicians who are interested in mathematical software, to gather together.

Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings

Mathematical Software - ICMS 2010

Wolfram Decker

Claus Fieker

Christian Eder

Max Horn

This book presents version 1.0 of the new Computer Algebra System OSCAR. Written in Julia, OSCAR builds on and vastly extends four cornerstone systems: ANTIC for number theory, GAP for group and representation theory, polymake for polyhedral and tropical geometry, and Singular for commutative algebra and algebraic geometry. It offers powerful computational tools that transcend the boundaries of the individual disciplines involved. It is freely available, open source software. The book is an invitation to use OSCAR. With discussions of theoretical and algorithmic aspects included, it offers a multitude of explicit code snippets. These are valuable for interested researchers from graduate students through established experts.

Algorithms and Examples

The Computer Algebra System OSCAR

This book constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, held in Kobe, Japan in September 2010. The 49 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on computational group theory, computation of special functions, computer algebra and reliable computing, computer tools for mathematical editing and scientific visualization, exact numeric computation for algebraic and geometric computation, formal proof, geometry and visualization, Groebner bases and applications, number theoretical software as well as software for optimization and polyhedral computation.

James H. Davenport

Jacques Carette

Anna Maria Bigatti

Timo de Wolff

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.

7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

Mathematical Software – ICMS 2020

Thorsten Theobald

Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications. It presents its primary topics from the viewpoints of discrete, convex and elementary algebraic geometry. The first part of the book studies classical problems and techniques that refer to polyhedral structures. The authors include a study on algorithms for computing convex hulls as well as the construction of Voronoi diagrams and Delone triangulations. The second part of the book develops the primary concepts of (non-linear) computational algebraic geometry. Here, the book looks at Gröbner bases and solving systems of polynomial equations. The theory is illustrated by applications in computer graphics, curve reconstruction and robotics. Throughout the book, interconnections between computational geometry and other disciplines (such as algebraic geometry, optimization and numerical mathematics) are established. Polyhedral and Algebraic Methods in Computational Geometry is directed towards advanced undergraduates in mathematics and computer science, as well as towards engineering students who are interested in the applications of computational geometry.

Polyhedral and Algebraic Methods in Computational Geometry

Michael Joswig

Books

Your next favorite book is out there