Mathematical Knowledge Management

Mathematical Knowledge Management

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

by Michael Kohlhase

403 pages· 2006· ISBN 9783540314301
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

About
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, held in Bremen, Germany in July 2005.The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers in this volume cover the whole area of mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.

Discuss Mathematical Knowledge Management with other readers

Join or start a book club for Mathematical Knowledge Management on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Mathematical Knowledge Management?

Sign up free on Readfeed, then browse public clubs or start your own club with Mathematical Knowledge Management as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Mathematical Knowledge Management with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Mathematical Knowledge Management with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.