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 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 book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

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 book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book. The papers address issues such as polynomial algebra; the solution of tropical linear systems and tropical polynomial systems; the theory of matrices; the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations (ODEs); applications of symbolic computations for solving partial differential equations (PDEs) in mathematical physics; problems arising at the application of computer algebra methods for finding infinitesimal symmetries; applications of symbolic and symbolic-numeric algorithms in mechanics and physics; automatic differentiation; the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing; the application of the CAS GAP for the enumeration of Schur rings over the group A5; constructive computation of zero separation bounds for arithmetic expressions; the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system; the use of object-oriented languages such as Java or Scala for implementation of categories as type classes; a survey of industrial applications of approximate computer algebra.

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.