دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
دانلود کتاب مدیریت دانش ریاضی: دومین کنفرانس بین المللی، MKM 2003 Bertinoro، ایتالیا، 16-18 فوریه، 2003 مقالات
مشخصات کتاب
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
ویرایش: 1 نویسندگان: Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.) سری: Lecture Notes in Computer Science 2594 ISBN (شابک) : 9783540005681, 3540005684 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 233 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدیریت دانش ریاضی: دومین کنفرانس بین المللی، MKM 2003 Bertinoro، ایتالیا، 16-18 فوریه، 2003 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدیریت دانش ریاضی: دومین کنفرانس بین المللی، MKM 2003 Bertinoro، ایتالیا، 16-18 فوریه، 2003 مقالات
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی مدیریت دانش ریاضی، MKM 2003 است که در بتینورو، ایتالیا، در فوریه 2003 برگزار شد.
16 مقاله کامل اصلاح شده همراه با مقاله دعوت شده ارائه شده است. به دقت بررسی و برای ارائه انتخاب شدند. از جمله موضوعات مورد بررسی عبارتند از: دیجیتالی کردن، نمایش، رسمی سازی، دستیاران اثبات، کتابخانه های توزیع شده ریاضیات، کتابخانه NAG، LaTeX، MathML، نشانه گذاری ریاضیات، شرح قضیه، زبان های پرس و جو برای ابرداده های ریاضی، بازیابی اطلاعات ریاضی، پردازش دانش ریاضی مبتنی بر XML، وب، مدیریت محتوای ریاضی، مخازن رسمی ریاضیات، اثبات قضیه، و نظریه اثبات.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003.
The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
فهرست مطالب
Digitisation, Representation, and Formalisation Digital Libraries of Mathematics....Pages 1-16
MKM from Book to Computer: A Case Study....Pages 17-29
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls....Pages 30-44
Managing Digital Mathematical Discourse....Pages 45-55
NAG Library Documentation....Pages 56-65
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions....Pages 66-79
Problems and Solutions for Markup for Mathematical Examples and Exercises....Pages 80-92
An Annotated Corpus and a Grammar Model of Theorem Description....Pages 93-104
A Query Language for a Metadata Framework about Mathematical Resources....Pages 105-118
Information Retrieval in MML....Pages 119-132
An Expert System for the Flexible Processing of X ML -Based Mathematical Knowledge in a P ROLOG —Environment....Pages 133-146
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge....Pages 147-161
On the Integrity of a Repository of Formalized Mathematics....Pages 162-174
A Theoretical Analysis of Hierarchical Proofs....Pages 175-187
Comparing Mathematical Provers....Pages 188-202
Translating Mizar for First Order Theorem Provers....Pages 203-215
The Mathematical Semantic Web....Pages 216-223
