This volume corresponds to the Banff International Research Station Workshop on Randomization, Relaxation, and Complexity, held from February 28-March 5, 2010. It contains a sample of advanced algorithmic techniques underpinning the solution of systems of polynomial equations. The papers are written by leading experts in algorithmic algebraic geometry and examine core topics.
Over the past decade, it has become apparent that tropical geometry and non-Archimedean geometry should be studied in tandem; each subject has a great deal to say about the other. This volume is a collection of articles dedicated to one or both of these disciplines. Some of the articles are based, at least in part, on the authors' lectures at the 2011 Bellairs Workshop in Number Theory, held from May 6-13, 2011, at the Bellairs Research Institute, Holetown, Barbados. Lecture topics covered in this volume include polyhedral structures on tropical varieties, the structure theory of non-Archimedean curves (algebraic, analytic, tropical, and formal), uniformisation theory for non-Archimedean curves and abelian varieties, and applications to Diophantine geometry. Additional articles selected for inclusion in this volume represent other facets of current research and illuminate connections between tropical geometry, non-Archimedean geometry, toric geometry, algebraic graph theory, and algorithmic aspects of systems of polynomial equations.
This book is a guide to concepts and practice in numerical algebraic geometry ? the solution of systems of polynomial equations by numerical methods. Through numerous examples, the authors show how to apply the well-received and widely used open-source Bertini software package to compute solutions, including a detailed manual on syntax and usage options. The authors also maintain a complementary web page where readers can find supplementary materials and Bertini input files. Numerically Solving Polynomial Systems with Bertini approaches numerical algebraic geometry from a user's point of view with numerous examples of how Bertini is applicable to polynomial systems. It treats the fundamental task of solving a given polynomial system and describes the latest advances in the field, including algorithms for intersecting and projecting algebraic sets, methods for treating singular sets, the nascent field of real numerical algebraic geometry, and applications to large polynomial systems arising from differential equations. Those who wish to solve polynomial systems can start gently by finding isolated solutions to small systems, advance rapidly to using algorithms for finding positive-dimensional solution sets (curves, surfaces, etc.), and learn how to use parallel computers on large problems. These techniques are of interest to engineers and scientists in fields where polynomial equations arise, including robotics, control theory, economics, physics, numerical PDEs, and computational chemistry.
This book constitutes the proceedings of the 29th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2023, which took place in Trieste, Italy, in August/September 2023. For AUTOMATA 2023, 7 full papers have been carefully reviewed and selected from 11 submissions. The book also contains 3 full papers from AUTOMATA 2022, which have been selected from a total of 18 submissions. In addition, the proceedings contain one invited talk in full paper length from AUTOMATA 2023.
This book is the second of two volumes which contain the proceedings of the Workshop on Nonlinear Partial Differential Equations, held from May 28-June 1, 2012, at the University of Perugia in honour of Patrizia Pucci's 60th birthday. The workshop brought together leading experts and researchers in nonlinear partial differential equations to promote research and to stimulate interactions among the participants.
This volume is based on the AMS Special Session on Harmonic Analysis and Partial Differential Equations and the AMS Special Session on Nonlinear Analysis of Partial Differential Equations, both held March 12-13, 2011, at Georgia Southern University, Statesboro, Georgia, as well as the JAMI Conference on Analysis of PDEs, held March 21-25, 2011, at Johns Hopkins University, Baltimore, Maryland. These conferences all concentrated on problems of current interest in harmonic analysis and PDE, with emphasis on the interaction between them. This volume consists of invited expositions as well as research papers that address prospects of the recent significant development in the field of analysis and PDE. The central topics mainly focused on using Fourier, spectral and geometrical methods to treat wellposedness, scattering and stability problems in PDE, including dispersive type evolution equations, higher-order systems and Sobolev spaces theory that arise in aspects of mathematical physics. The study of all these problems involves state-of-the-art techniques and approaches that have been used and developed in the last decade. The interrelationship between the theory and the tools reflects the richness and deep connections between various subjects in both classical and modern analysis.
This volume is composed of six contributions derived from the lectures given during the UIMP-RSME Lluis Santalo Summer School on ``Recent Advances in Real Complexity and Computation'', held July 16-20, 2012, in Santander, Spain. The goal of this Summer School was to present some of the recent advances on Smale's 17th Problem: ``Can a zero of $n$ complex polynomial equations in $n$ unknowns be found approximately, on the average, in polynomial time with a uniform algorithm?'' These papers cover several aspects of this problem: from numerical to symbolic methods in polynomial equation solving, computational complexity aspects (both worse and average cases and both upper and lower complexity bounds) as well as aspects of the underlying geometry of the problem. Some of the contributions also deal with either real or multiple solutions solving.
This book constitutes the refereed proceedings of the third Maple Conference, MC 2019, held in Waterloo, Ontario, Canada, in October 2019. The 21 revised full papers and 9 short papers were carefully reviewed and selected out of 37 submissions, one invited paper is also presented in the volume. The papers included in this book cover topics in education, algorithms, and applciations of the mathematical software Maple.
This volume contains research and expository articles from the courses and talks given at the RSME Lluis A. Santalo Summer School, ``Geometric Analysis'', held June 28-July 2, 2010, in Granada, Spain. The goal of the Summer School was to present some of the many advances currently taking place in the interaction between partial differential equations and differential geometry, with special emphasis on the theory of minimal surfaces. This volume includes expository articles about the current state of specific problems involving curvature and partial differential equations, with interactions to neighboring fields such as probability. An introductory, mostly self-contained course on constant mean curvature surfaces in Lie groups equipped with a left invariant metric is provided. The volume will be of interest to researchers, post-docs, and advanced PhD students in the interface between partial differential equations and differential geometry.
This volume contains papers based on lectures given at the 12th International Conference on p-adic Functional Analysis, which was held at the University of Manitoba on July 2-6, 2012. Through a combination of new research articles and survey papers, this book provides the reader with an overview of current developments and techniques in non-archimedean analysis as well as a broad knowledge of some of the sub-areas of this exciting and fast-developing research area.
