Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Borwein, Jonathan (Editor ), Farmer, William M. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4108
Temas:
Artificial intelligence.
Information storage and retrieval systems.
Application software.
Database management.
Computer networks .
Mathematics.
Artificial Intelligence.
Information Storage and Retrieval.
Computer and Information Systems Applications.
Database Management.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares