Articoli correlati a Mathematical Knowledge Management: 4th International...
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers: 3863 - Brossura
Sinossi
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Session I: Foundations.- A Proof-Theoretic Approach to Hierarchical Math Library Organization.- An Exploration in the Space of Mathematical Knowledge.- Session II: Authoring.- Authoring Presentation for openmath.- Translating Mathematical Vernacular into Knowledge Repositories.- Assisted Proof Document Authoring.- Session III: Representations.- A Tough Nut for Mathematical Knowledge Management.- Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity.- Processing Textbook-Style Matrices.- Session IV: Proving.- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.- Impasse-Driven Reasoning in Proof Planning.- Literate Proving: Presenting and Documenting Formal Proofs.- Session V: MKManagement Tools.- Semantic Matching for Mathematical Services.- Mathematical Knowledge Browser with Automatic Hyperlink Detection.- A Database of Glyphs for OCR of Mathematical Documents.- Session VI: Documents.- Toward an Object-Oriented Structure for Mathematical Text.- Explanation in Natural Language of ?????-Terms.- Engineering Mathematical Knowledge.- Session VII: MKM Case Studies.- Computational Origami of a Morley’s Triangle.- Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study.- Gröbner Bases — Theory Refinement in the Mizar System.- Session VIII: Course Materials.- An Interactive Algebra Course with Formalised Proofs and Definitions.- Interactive Learning and Mathematical Calculus.- Session IX: Migration.- XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy.- Determining Empirical Characteristics of Mathematical Expression Use.- Transformations of MML Database’s Elements.- Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoEx-library paperback in very nice...
Visualizza questo articolo
EUR 41,98
EUR 63,76 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 53,69
EUR 16,99 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Mathematical Knowledge Management: 4th International...
Immagini fornite dal venditore
Mathematical Knowledge Management : 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6381064-n
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540314301_new
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540314301
Quantità: 1 disponibili
Immagini fornite dal venditore
Mathematical Knowledge Management
Editore:
Springer Berlin Heidelberg, 2006
ISBN 10: 354031430X
ISBN 13: 9783540314301
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: New. This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 s. Codice articolo 4887594
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Knowledge Management : 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6381064-n
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Editore:
Springer Berlin Heidelberg 2008-10-10, 2008
ISBN 10: 354031430X
ISBN 13: 9783540314301
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540314301
Quantità: 10 disponibili
Foto dell'editore
Mathematical Knowledge Management
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 422. Codice articolo 263094263
Quantità: 4 disponibili
Foto dell'editore
Mathematical Knowledge Management
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 422 Illus. Codice articolo 5802280
Quantità: 4 disponibili
Foto dell'editore
Mathematical Knowledge Management
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 422. Codice articolo 183094269
Quantità: 4 disponibili
Immagini fornite dal venditore
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Editore:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 354031430X
ISBN 13: 9783540314301
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - 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. Codice articolo 9783540314301
Quantità: 2 disponibili