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

این جلد شامل مجموعه مقالات چهارمین کنفرانس بین المللی مدیریت دانش ریاضی MKM 2005 است که از 15 تا 17 جولای 2005 در - دانشگاه بین المللی برمن، آلمان برگزار شد. کنفرانس های قبلی در مؤسسه تحقیقاتی محاسبات نمادین (RISC) لینز، اتریش (سپتامبر 2001)، در برتینورو، ایتالیا (مارس 2003)، و Bialowiecze، لهستان (سپتامبر 2004) بوده است. مدیریت دانش ریاضی (MKM) در تلاقی ریاضیات و علوم کامپیوتر است که تکنیک های جدیدی را برای مدیریت حجم عظیم دانش ریاضی موجود در منابع ریاضی فعلی و در دسترس قرار دادن آن از طریق پیشرفت های جدید در فناوری اطلاعات ارائه می کند. کنفرانس سالانه MKM ریاضیدانان، نرم‌افزارها، شرکت‌های انتشاراتی، سازمان‌های ریاضی، کاربران ریاضی، و مربیان را گرد هم می‌آورد تا دیدگاه‌ها و رویکردهای خود، فعالیت‌های جاری و ابتکارات جدید را تبادل کنند. برای اولین بار، MKM 2005 تصمیم گرفت که جلسات پس از کنفرانس داشته باشد، زیرا در غیر این صورت مهلت ارسال با سایر کنفرانس ها تضاد پیدا می کرد و از MKM 2004 در سپتامبر 2004 به زمان محدودی می رسید. اقدامات آرشیوی با مهلت 15 می، MKM 2005 38 ارسال دریافت کرد. هر ارسال توسط حداقل سه عضو کمیته برنامه بررسی شد. کمیته تصمیم گرفت - 27 مقاله را برای ارائه در کنفرانس بپذیرد. از این تعداد، 26 مقاله پس از ارزیابی مجدد توسط کمیته برنامه، برای انتشار در مجموعه مقالات کنفرانس پذیرفته شد، زیرا شامل بهبودهای قابل توجهی بود که توسط گزارش داوران و بحث های کنفرانس ایجاد شده بود.

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.