Michael Kohlhase – författare

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper included in the proceedings were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Argument Mining; Debate Analysis and Deliberation; Argument Acquisition, Annotation and Quality Assessment; Computational Models of Argumentation; Interactive Argumentation, Recommendation and Personalization; and Argument Search and Retrieval.

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to - cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after re-evaluation by the Programme Committee since they included signi?cant improvements triggered by the referee reports and the discussions at the conference.

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to - cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after re-evaluation by the Programme Committee since they included signi?cant improvements triggered by the referee reports and the discussions at the conference.

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c- putation is one of the roots of mathematics. Since Euclid’s algorithm for ?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our new-found ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor- nities has required the learning of new skills, such as using computer algebra and graphics packages.

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c- putation is one of the roots of mathematics. Since Euclid’s algorithm for ?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our new-found ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor- nities has required the learning of new skills, such as using computer algebra and graphics packages.

This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006. This was co-located with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from 112 submissions.