There exists a history of great expectations and large investments involving artificial intelligence (AI). There are also notable shortfalls and memorable disappointments. One major controversy regarding AI is just how mathematical a field it is or should be. This text includes contributions that examine the connections between AI and mathematics, demonstrating the potential for mathematical applications and exposing some of the more mathematical areas within AI. The goal is to stimulate interest in people who can contribute to the field or use its results. Included in the work by M. Newborn on the famous Deep BLue chess match. He discusses highly mathematical techniques involving graph theory, combinatorics and probability and statistics. G. Shafer offers his development of probability through probability trees with some of the results appearing here for the first time. M. Golumbic treats temporal reasoning with ties to the famous Frame Problem. His contribution involves logic, combinatorics and graph theory and leads to two chapters with logical themes. H. Kirchner explains how ordering techniques in automated reasoning systems make deduction more efficient. Constraint logic programming is discussed by C. Lassez, who shows its intimate ties to linear programming with crucial theorems going back to Fourier. V. Nalwa's work provides a brief tour of computer vision, tying it to mathematics - from combinatorics, probability and geometry to partial differential equations. All authors are gifted expositors and are current contributors to the field. The wide scope of the volume includes research problems, research tools and good motivational material for teaching.

The LNAI series reports state-of-the-art results in artificial intelligence research, development, education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelligent information processing including interdisciplinary topics in a variety of application fields.

The digital revolution that we have experienced since the last quarter of the twentieth century has had some influence, yet to be analysed and extended, on the way mathematics is made, taught and learned. While the rate of innovation in these technologies is growing exponentially, the potential impact of most information technologies on mathematical education remains to be fully exploited. In particular, several authoritative voices point out that the technology that will most likely transform education in the coming years is artificial intelligence (AI). Interestingly, today AI is mainly associated with technologies to automate tasks and lower costs, thus serving primarily the interests of the political-administrative, industrial and commercial world. In this scenario, the world of education and, more specifically, didactics, appears at best as a mere user of AI techniques developed in other fields, forgetting that AI should play a much more relevant role here, serving the human being who is doing his work as a mathematician or who is learning mathematics. The AI4ME symposium at the International Centre for Mathematical Meetings (CIEM) in Castro Urdiales is a space for research and reflection to better understand the interconnected challenges of instrumental learning of mathematics and instrumental mathematics, taking advantage of the achievements and opportunities of Artificial Intelligence for Mathematical Education. This book of abstracts gathers the summaries of the talks presented at the symposium, as well as the conclusions of each of the four thematic groups.

As general, this book is a collection of the most recent, quality research papers regarding applications of Artificial Intelligence and Applied Mathematics for engineering problems. The papers included in the book were accepted and presented in the 4th International Conference on Artificial Intelligence and Applied Mathematics in Engineering (ICAIAME 2022), which was held in Baku, Azerbaijan (Azerbaijan Technical University) between May 20 and 22, 2022. Objective of the book content is to inform the international audience about the cutting-edge, effective developments and improvements in different engineering fields. As a collection of the ICAIAME 2022 event, the book gives consideration for the results by especially intelligent system formations and the associated applications. The target audience of the book is international researchers, degree students, practitioners from industry, and experts from different engineering disciplines.

This book features research presented at the 1st International Conference on Artificial Intelligence and Applied Mathematics in Engineering, held on 20–22 April 2019 at Antalya, Manavgat (Turkey). In today’s world, various engineering areas are essential components of technological innovations and effective real-world solutions for a better future. In this context, the book focuses on problems in engineering and discusses research using artificial intelligence and applied mathematics. Intended for scientists, experts, M.Sc. and Ph.D. students, postdocs and anyone interested in the subjects covered, the book can also be used as a reference resource for courses related to artificial intelligence and applied mathematics.

The Encyclopedia of Mathematical Geosciences is a complete and authoritative reference work. It provides concise explanation on each term that is related to Mathematical Geosciences. Over 300 international scientists, each expert in their specialties, have written around 350 separate articles on different topics of mathematical geosciences including contributions on Artificial Intelligence, Big Data, Compositional Data Analysis, Geomathematics, Geostatistics, Geographical Information Science, Mathematical Morphology, Mathematical Petrology, Multifractals, Multiple Point Statistics, Spatial Data Science, Spatial Statistics, and Stochastic Process Modeling. Each topic incorporates cross-referencing to related articles, and also has its own reference list to lead the reader to essential articles within the published literature. The entries are arranged alphabetically, for easy access, and the subject and author indices are comprehensive and extensive.

The fields of Artificial Intelligence (AI) and Machine Learning (ML) have grown dramatically in recent years, with an increasingly impressive spectrum of successful applications. This book represents a key reference for anybody interested in the intersection between mathematics and AI/ML and provides an overview of the current research streams. Engineering Mathematics and Artificial Intelligence: Foundations, Methods, and Applications discusses the theory behind ML and shows how mathematics can be used in AI. The book illustrates how to improve existing algorithms by using advanced mathematics and offers cutting-edge AI technologies. The book goes on to discuss how ML can support mathematical modeling and how to simulate data by using artificial neural networks. Future integration between ML and complex mathematical techniques is also highlighted within the book. This book is written for researchers, practitioners, engineers, and AI consultants.

This book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.Some of the papers deal with contextual grammars, a class of generative devices introduced by Marcus, motivated by descriptive linguistics. Others are devoted to grammar systems, a very modern branch of formal language theory. Automata theory and the algebraic approach to computer science are other well-represented areas. While the contributions are mathematically oriented, practical issues such as cryptography, grammatical inference and natural language processing are also discussed.

This book highlights the contribution of artificial intelligence for mathematics education. It provides concrete ideas supported by mathematical work obtained through dynamic international collaboration, and discusses the flourishing of new mathematics in the contemporary world from a sustainable development perspective. Over the past thirty years, artificial intelligence has gradually infiltrated all facets of society. When it is deployed in interaction with the human designer or user, AI certainly raises new ethical questions. But as soon as it aims to augment intelligence in a kind of human-machine partnership, it goes to the heart of knowledge development and the very performance of work. The proposed themes and the sections of the book address original issues relating to the creation of AI milieus to work on mathematics, to the AI-supported learning of mathematics and to the coordination of « usual » paper/pencil techniques and « new » AI-aided educational working spaces. The authors of the book and the coordinators of each section are all established specialists in mathematics didactics, mathematics and computer science. In summary, this book is a must-read for everyone interested in the teaching and learning of mathematics, and it concerns the interaction between the human and the machine in both directions. It contains ideas, questions and inspiration that invite to take up the challenge of Artificial Intelligence contributing to Mathematical Human Learning.

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.