Mathematical Knowledge Management
| Themengebiete: | Knowledge Management LaTeX (EDV) Management / Wissensmanagement Mathematik / Allgemeines, Einführung, Lexikon Wissensmanagement XML - Extensible Markup Language |
|---|---|
| Veröffentlichungsdatum: | 26.07.2006 |
| EAN: | 9783540371045 |
| Sprache: | Englisch |
| Seitenzahl: | 308 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Borwein, Jonathan Farmer, William M. |
| Verlag: | Springer Springer-Verlag GmbH |
| Untertitel: | 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings |
Produktinformationen "Mathematical Knowledge Management"
Invited Talks.- The Omega Number: Irreducible Complexity in Pure Math.- Roles of Math Search in Mathematics.- Contributed Papers.- Structured Induction Proofs in Isabelle/Isar.- Interpretation of Locales in Isabelle: Theories and Proof Contexts.- A Dynamic Poincaré Principle.- A Proof-Theoretic Approach to Tactics.- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus.- Proof Transformation by CERES.- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge.- Verifying and Invalidating Textbook Proofs Using Scunak.- Capturing Abstract Matrices from Paper.- Towards a Parser for Mathematical Formula Recognition.- Stochastic Modelling of Scientific Terms Distribution in Publications.- Capturing the Content of Physics: Systems, Observables, and Experiments.- Communities of Practice in MKM: An Extensional Model.- From Notation to Semantics: There and Back Again.- Managing Informal Mathematical Knowledge: Techniques from Informal Logic.- From Untyped to Polymorphically Typed Objects in Mathematical Web Services.- Managing Automatically Formed Mathematical Theories.- Authoring LeActiveMath Calculus Content.- Information Retrieval and Rendering with MML Query.- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen