This book summarizes research carried out in workshops of the SAGA project, an Initial Training Network exploring the interplay of Shapes, Algebra, Geometry and Algorithms. Written by a combination of young and experienced researchers, the book introduces new ideas in an established context. Among the central topics are approximate and sparse implicitization and surface parametrization; algebraic tools for geometric computing; algebraic geometry for computer aided design applications and problems with industrial applications. Readers will encounter new methods for the (approximate) transition between the implicit and parametric representation; new algebraic tools for geometric computing; new applications of isogeometric analysis and will gain insight into the emerging research field situated between algebraic geometry and computer aided geometric design.

Mathematical algorithms are a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. This book provides a bridge between algebraic geometry and geometric modelling algorithms, formulated within a computer science framework. Apart from the algebraic geometry topics covered, the entire book is based on the unifying concept of using algebraic techniques – properly specialized to solve geometric problems – to seriously improve accuracy, robustness and efficiency of CAD-systems. It provides new approaches as well as industrial applications to deform surfaces when animating virtual characters, to automatically compare images of handwritten signatures and to improve control of NC machines. This book further introduces a noteworthy representation based on 2D contours, which is essential to model the metal sheet in industrial processes. It additionally reviews applications of numerical algebraic geometry to differential equations systems with multiple solutions and bifurcations. Future Vision and Trends on Shapes, Geometry and Algebra is aimed specialists in the area of mathematics and computer science on the one hand and on the other hand at those who want to become familiar with the practical application of algebraic geometry and geometric modelling such as students, researchers and doctorates.

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 book is a general introduction to the theory of schemes, followed by applications to arithmetic surfaces and to the theory of reduction of algebraic curves. The first part introduces basic objects such as schemes, morphisms, base change, local properties (normality, regularity, Zariski's Main Theorem). This is followed by the more global aspect: coherent sheaves and a finiteness theorem for their cohomology groups. Then follows a chapter on sheaves of differentials, dualizing sheaves, and Grothendieck's duality theory. The first part ends with the theorem of Riemann-Roch and its application to the study of smooth projective curves over a field. Singular curves are treated through a detailed study of the Picard group. The second part starts with blowing-ups and desingularisation (embedded or not) of fibered surfaces over a Dedekind ring that leads on to intersection theory on arithmetic surfaces. Castelnuovo's criterion is proved and also the existence of the minimal regular model. This leads to the study of reduction of algebraic curves. The case of elliptic curves is studied in detail. The book concludes with the funadmental theorem of stable reduction of Deligne-Mumford. The book is essentially self-contained, including the necessary material on commutative algebra. The prerequisites are therefore few, and the book should suit a graduate student. It contains many examples and nearly 600 exercises.

This textbook offers a statistical view on the geometry of multiple view analysis, required for camera calibration and orientation and for geometric scene reconstruction based on geometric image features. The authors have backgrounds in geodesy and also long experience with development and research in computer vision, and this is the first book to present a joint approach from the converging fields of photogrammetry and computer vision. Part I of the book provides an introduction to estimation theory, covering aspects such as Bayesian estimation, variance components, and sequential estimation, with a focus on the statistically sound diagnostics of estimation results essential in vision metrology. Part II provides tools for 2D and 3D geometric reasoning using projective geometry. This includes oriented projective geometry and tools for statistically optimal estimation and test of geometric entities and transformations and their relations, tools that are useful also in the context of uncertain reasoning in point clouds. Part III is devoted to modelling the geometry of single and multiple cameras, addressing calibration and orientation, including statistical evaluation and reconstruction of corresponding scene features and surfaces based on geometric image features. The authors provide algorithms for various geometric computation problems in vision metrology, together with mathematical justifications and statistical analysis, thus enabling thorough evaluations. The chapters are self-contained with numerous figures and exercises, and they are supported by an appendix that explains the basic mathematical notation and a detailed index. The book can serve as the basis for undergraduate and graduate courses in photogrammetry, computer vision, and computer graphics. It is also appropriate for researchers, engineers, and software developers in the photogrammetry and GIS industries, particularly those engaged with statistically based geometric computer vision methods.

This book is of interest to researchers inquiring about modern topics and methods in the kinematics, control and design of robotic manipulators. It considers the full range of robotic systems, including serial, parallel and cable driven manipulators, both planar and spatial. The systems range from being less than fully mobile to kinematically redundant to overconstrained. In addition to recognized areas, this book also presents recent advances in emerging areas such as the design and control of humanoids and humanoid subsystems, and the analysis, modeling and simulation of human body motions, as well as the mobility analysis of protein molecules and the development of machines which incorporate man.