Manfred Kerber

Robert Miner

Manuel Kauers

Wolfgang Windsteiger

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Towards Mechanized Mathematical Assistants

Volker Sorge

Florian Rabe

Jacques Carette

Cezary Kaliszyk

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Intelligent Computer Mathematics

Colin Rowat

Naoki Yoshihara

This paper studies pillage games (Jordan in J Econ Theory 131.1:26-44, 2006, "Pillage and property"), which are well suited to modelling unstructured power contests. To enable empirical test of pillage games' predictions, it relaxes a symmetry assumption that agents' intrinsic contributions to a coalition's power is identical. In the three-agent game studied: (i) only eight configurations are possible for the core, which contains at most six allocations; (ii) for each core configuration, the stable set is either unique or fails to exist; (iii) the linear power function creates a tension between a stable set's existence and the interiority of its allocations, so that only special cases contain strictly interior allocations. Our analysis suggests that non-linear power functions may offer better empirical tests of pillage game theory.

Asymmetric Majority Pillage Games

Michael Kohlhase

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.

The CALCULEMUS-2000 Symposium

Symbolic Computation and Automated Reasoning

John Lloyd

Kung-Kiu Lau

Ulrich Furbach

Peter J. Stuckey

Veronica Dahl

Catuscia Palamidessi

Luis M. Pereira

Yehoshua Sagiv

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000

Manfred Kerber

Books

Your next favorite book is out there