This book presents interesting, important unsolved problems in the mathematical and computational sciences. The contributing authors are leading researchers in their fields and they explain outstanding challenges in their domains, first by offering basic definitions, explaining the context, and summarizing related algorithms, theorems, and proofs, and then by suggesting creative solutions. The authors feel a strong motivation to excite deep research and discussion in the mathematical and computational sciences community, and the book will be of value to postgraduate students and researchers in the areas of theoretical computer science, discrete mathematics, engineering, and cryptology.

The goal in putting together this unique compilation was to present the current status of the solutions to some of the most essential open problems in pure and applied mathematics. Emphasis is also given to problems in interdisciplinary research for which mathematics plays a key role. This volume comprises highly selected contributions by some of the most eminent mathematicians in the international mathematical community on longstanding problems in very active domains of mathematical research. A joint preface by the two volume editors is followed by a personal farewell to John F. Nash, Jr. written by Michael Th. Rassias. An introduction by Mikhail Gromov highlights some of Nash’s legendary mathematical achievements. The treatment in this book includes open problems in the following fields: algebraic geometry, number theory, analysis, discrete mathematics, PDEs, differential geometry, topology, K-theory, game theory, fluid mechanics, dynamical systems and ergodic theory, cryptography, theoretical computer science, and more. Extensive discussions surrounding the progress made for each problem are designed to reach a wide community of readers, from graduate students and established research mathematicians to physicists, computer scientists, economists, and research scientists who are looking to develop essential and modern new methods and theories to solve a variety of open problems.

This book constitutes the refereed proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS 2001, held in Marianske Lazne, Czech Republic in August 2001. The 51 revised full papers presented together with 10 invited contributions were carefully reviewed and selected from a total of 118 submissions. All current aspects of theoretical computer science are addressed ranging from mathematical logic and programming theory to algorithms, discrete mathematics, and complexity theory. Besides classical issues, modern topics like quantum computing are discussed as well.

This book constitutes an up-to-date account of principles, methods, and tools for mathematical and statistical modelling in a wide range of research fields, including medicine, health sciences, biology, environmental science, engineering, physics, chemistry, computation, finance, economics, and social sciences. It presents original solutions to real-world problems, emphasizes the coordinated development of theories and applications, and promotes interdisciplinary collaboration among mathematicians, statisticians, and researchers in other disciplines. Based on a highly successful meeting, the International Conference on Applied Mathematics, Modeling and Computational Science, AMMCS 2019, held from August 18 to 23, 2019, on the main campus of Wilfrid Laurier University, Waterloo, Canada, the contributions are the results of submissions from the conference participants. They provide readers with a broader view of the methods, ideas and tools used in mathematical, statistical and computational sciences.

The contributions of the proceedings cover almost all parts of the theory of formal languages from pure theoretical investigations to applications to programming languages. Main topics are combinatorial properties of words, sequences of words and sets of words, grammar systems and grammars with controlled derivations, generation of higher-dimensional objects and graphs, trace languages, numerical parameters of automata and languages.

Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

"The collection of the contributions to these volumes offers a flavor of the plethora of different approaches to attack structured matrix problems. The reader will find that the theory of structured matrices is positioned to bridge diverse applications in the sciences and engineering, deep mathematical theories, as well as computational and numberical issues. The presentation fully illustrates the fact that the technicques of engineers, mathematicisn, and numerical analysts nicely complement each other, and they all contribute to one unified theory of structured matrices"--Back cover.

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).

Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to analyze NP-complete problems such as satisfiability and graph coloring. This is leading to a new understanding of the structure of these problems, and of how algorithms perform on them. Computational Complexity and Statistical Physics will serve as a standard reference and pedagogical aid to statistical physics methods in computer science, with a particular focus on phase transitions in combinatorial problems. Addressed to a broad range of readers, the book includes substantial background material along with current research by leading computer scientists, mathematicians, and physicists. It will prepare students and researchers from all of these fields to contribute to this exciting area.

This volume contains the papers presented at the 29th Symposium on Mat- matical Foundations of Computer Science, MFCS 2004, held in Prague, Czech Republic, August 22–27, 2004. The conference was organized by the Institute for Theoretical Computer Science (ITI) and the Department of Theoretical Com- terScienceandMathematicalLogic(KTIML)oftheFacultyofMathematicsand Physics of Charles University in Prague. It was supported in part by the Eu- pean Association for Theoretical Computer Science (EATCS) and the European Research Consortium for Informatics and Mathematics (ERCIM). Traditionally, the MFCS symposia encourage high-quality research in all branches of theoretical computer science. Ranging in scope from automata, f- mal languages, data structures, algorithms and computational geometry to c- plexitytheory,modelsofcomputation,andapplicationsincludingcomputational biology, cryptography, security and arti?cial intelligence, the conference o?ers a unique opportunity to researchers from diverse areas to meet and present their results to a general audience. The scienti?c program of this year’s MFCS took place in the lecture halls of the recently reconstructed building of the Faculty of Mathematics and P- sics in the historical center of Prague, with the famous Prague Castle and other celebratedhistoricalmonumentsinsight.Theviewfromthewindowswasach- lengingcompetitionforthespeakersinthe?ghtfortheattentionoftheaudience. But we did not fear the result: Due to the unusually tough competition for this year’s MFCS, the admitted presentations certainly attracted considerable in- rest. The conference program (and the proceedings) consisted of 60 contributed papers selected by the Program Committee from a total of 167 submissions.