Table of contents

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.

This volume is an outgrowth of the research project "The Inverse Ga lois Problem and its Application to Number Theory" which was carried out in three academic years from 1999 to 2001 with the support of the Grant-in-Aid for Scientific Research (B) (1) No. 11440013. In September, 2001, an international conference "Galois Theory and Modular Forms" was held at Tokyo Metropolitan University after some preparatory work shops and symposia in previous years. The title of this book came from that of the conference, and the authors were participants of those meet All of the articles here were critically refereed by experts. Some of ings. these articles give well prepared surveys on branches of research areas, and many articles aim to bear the latest research results accompanied with carefully written expository introductions. When we started our re~earch project, we picked up three areas to investigate under the key word "Galois groups"; namely, "generic poly nomials" to be applied to number theory, "Galois coverings of algebraic curves" to study new type of representations of absolute Galois groups, and explicitly described "Shimura varieties" to understand well the Ga lois structures of some interesting polynomials including Brumer's sextic for the alternating group of degree 5. The topics of the articles in this volume are widely spread as a result. At a first glance, some readers may think this book somewhat unfocussed.

This book gathers peer-reviewed papers presented at the 18th International Conference on Geometry and Graphics (ICGG), held in Milan, Italy, on August 3-7, 2018. The spectrum of papers ranges from theoretical research to applications, including education, in several fields of science, technology and the arts. The ICGG 2018 mainly focused on the following topics and subtopics: Theoretical Graphics and Geometry (Geometry of Curves and Surfaces, Kinematic and Descriptive Geometry, Computer Aided Geometric Design), Applied Geometry and Graphics (Modeling of Objects, Phenomena and Processes, Applications of Geometry in Engineering, Art and Architecture, Computer Animation and Games, Graphic Simulation in Urban and Territorial Studies), Engineering Computer Graphics (Computer Aided Design and Drafting, Computational Geometry, Geometric and Solid Modeling, Image Synthesis, Pattern Recognition, Digital Image Processing) and Graphics Education (Education Technology Research, Multimedia Educational Software Development, E-learning, Virtual Reality, Educational Systems, Educational Software Development Tools, MOOCs). Given its breadth of coverage, the book introduces engineers, architects and designers interested in computer applications, graphics and geometry to the latest advances in the field, with a particular focus on science, the arts and mathematics education.

This carefully prepared manuscript presents elimination theory in weighted projective spaces over arbitrary noetherian commutative base rings. Elimination theory is a classical topic in commutative algebra and algebraic geometry, and it has become of renewed importance recently in the context of applied and computational algebra. This monograph pro

This book provides a comprehensive advanced multi-linear algebra course based on the concept of Hasse-Schmidt derivations on a Grassmann algebra (an analogue of the Taylor expansion for real-valued functions), and shows how this notion provides a natural framework for many ostensibly unrelated subjects: traces of an endomorphism and the Cayley-Hamilton theorem, generic linear ODEs and their Wronskians, the exponential of a matrix with indeterminate entries (Putzer's method revisited), universal decomposition of a polynomial in the product of two monic polynomials of fixed smaller degree, Schubert calculus for Grassmannian varieties, and vertex operators obtained with the help of Schubert calculus tools (Giambelli's formula). Significant emphasis is placed on the characterization of decomposable tensors of an exterior power of a free abelian group of possibly infinite rank, which then leads to the celebrated Hirota bilinear form of the Kadomtsev-Petviashvili (KP) hierarchy describing the Plücker embedding of an infinite-dimensional Grassmannian. By gathering ostensibly disparate issues together under a unified perspective, the book reveals how even the most advanced topics can be discovered at the elementary level.

This book is the Proceedings of the Second ISAAC Congress. ISAAC is the acronym of the International Society for Analysis, its Applications and Computation. The president of ISAAC is Professor Robert P. Gilbert, the second named editor of this book, e-mail: [email protected]. The Congress is world-wide valued so highly that an application for a grant has been selected and this project has been executed with Grant No. 11-56 from *the Commemorative Association for the Japan World Exposition (1970). The finance of the publication of this book is exclusively the said Grant No. 11-56 from *. Thus, a pair of each one copy of two volumes of this book will be sent to all contributors, who registered at the Second ISAAC Congress in Fukuoka, free of charge by the Kluwer Academic Publishers. Analysis is understood here in the broad sense of the word, includ ing differential equations, integral equations, functional analysis, and function theory. It is the purpose of ISAAC to promote analysis, its applications, and its interaction with computation. With this objective, ISAAC organizes international Congresses for the presentation and dis cussion of research on analysis. ISAAC welcomes new members and those interested in joining ISAAC are encouraged to look at the web site http://www .math. udel.edu/ gilbert/isaac/index.html vi and http://www.math.fu-berlin.de/ rd/ ag/isaac/newton/index.html.

Written by the founders of the new and expanding field of numerical algebraic geometry, this is the first book that uses an algebraic-geometric approach to the numerical solution of polynomial systems and also the first one to treat numerical methods for finding positive dimensional solution sets. The text covers the full theory from methods developed for isolated solutions in the 1980's to the most recent research on positive dimensional sets.

This work is based on the lectures presented at the International Conference of Commutative Algebra and Algebraic Geometry held in Messina, Italy. It discusses developments and advances in commutative algebra, algebraic geometry, and combinatorics - highlighting the theory of projective schemes, the geometry of curves, determinantal and stable idea

This book brings the reader from the basic definitions to important results and applications, and introduces some of the techniques of abstract algebra.