Cantitate/Preț
Produs

Mathematical Knowledge Management: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings: Lecture Notes in Computer Science, cartea 4108

Editat de Jonathan Borwein, William M. Farmer
en Limba Engleză Paperback – 26 iul 2006

Din seria Lecture Notes in Computer Science

Preț: 33405 lei

Preț vechi: 41756 lei
-20% Nou

Puncte Express: 501

Preț estimativ în valută:
6394 6650$ 5358£

Carte tipărită la comandă

Livrare economică 13-27 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540371045
ISBN-10: 3540371044
Pagini: 308
Ilustrații: VIII, 295 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.46 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.