Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a workshop every other year bringing together manufacturers, computer scientists, researchers and operational users to share their experiences and to learn about the latest developments. This volume provides an excellent overview of the latest achievements and plans for the use of new parallel techniques in the fields of meteorology, climatology and oceanography.

This book is a comprehensive set of articles reflecting on the application of symbolic and/or numerical computation in a range of scientific areas within the fields of engineering and science. These articles constitute extended versions of communications presented at the 4th International Conference on Numerical and Symbolic Computation—SYMCOMP 2019—that took place in Porto, Portugal, from 11 to 12 April 2019 The different chapters present diverse perspectives on the existing effective connections between mathematical methods and procedures and other knowledge areas. The intrinsic multidisciplinary character is visible throughout the whole book as a result of the applicability of the scope and the applications considered. The reader will find this book to be a useful resource for identifying problems of interest in different engineering and science areas, and in the development of mathematical models and procedures used in the context of prediction or verification computational tools as well as in the aided-learning/teaching context. This book is a must-read for anyone interested in the recent developments and applications of symbolic and numerical computation for a number of multidisciplinary engineering and science problems.

This volume consists of papers delivered at the International Mathematica Symposium 2003 ? an interdisciplinary meeting bringing together users of Mathematica in research and education. It gathers research papers, reports on classroom practice, reports on the use of Mathematica in industry and commerce, and descriptions of fresh applications.List of contributors: J Nash, S Wolfram, R Maeder, B Buchberger and C McTague.

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

This book is the outgrowth of a NATO Advanced Research Workshop, held in Milton Keynes (United Kingdom) in the summer of 1990. The workshop brought together about 30 world leaders in the use of advanced technologies in the teaching of mathematics and science. Many of these participants commented that the workshop was one of the more productive and exciting workshops that they had attended. It was not uncommon to see participants engaged in informal discussion far into the evenings and early mornings, long after formal sessions had ended. It is my hope that this book captures the substance and excitement of many of the ideas that were presented at the workshop. Indeed, the process by which this book has come about has given every opportunity for the best thinking to get reflected here. Participants wrote papers prior to the workshop. After the workshop, participants revised the papers at least once. In a few instances, three versions of papers were written. Some participants could not resist the urge to incorporate descriptions of some of the newer developments in their projects. The papers in this book demonstrate how technology is impacting our view of what should be taught, what can be taught, and how we should go about teaching in the various disciplines. As such, they offer great insight into the central issues of teaching and learning in a wide range of disciplines and across many grade levels (ranging from elementary school through undergraduate college education).

This volume consists of papers delivered at the International Mathematica Symposium 2003 — an interdisciplinary meeting bringing together users of Mathematica in research and education. It gathers research papers, reports on classroom practice, reports on the use of Mathematica in industry and commerce, and descriptions of fresh applications.List of contributors: J Nash, S Wolfram, R Maeder, B Buchberger and C McTague.

This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.

Past and future changes in teaching methods resulting from the use of computers in the classroom are the main concerns of this volume. Among the aspects considered are: the teaching of specific subjects (e.g. mathematics), social and psychological aspects, learning difficulties, the uses of modelling and simulation in the classroom, language teaching, and national curricula. The 115 invited and contributed papers are from both Western and Eastern Europe.

This two-volume set (CCIS 175 and CCIS 176) constitutes the refereed proceedings of the International Conference on Computer Education, Simulation and Modeling, CSEM 2011, held in Wuhan, China, in June 2011. The 148 revised full papers presented in both volumes were carefully reviewed and selected from a large number of submissions. The papers cover issues such as multimedia and its application, robotization and automation, mechatronics, computer education, modern education research, control systems, data mining, knowledge management, image processing, communication software, database technology, artificial intelligence, computational intelligence, simulation and modeling, agent based simulation, biomedical visualization, device simulation & modeling, object-oriented simulation, Web and security visualization, vision and visualization, coupling dynamic modeling theory, discretization method , and modeling method research.