Conferences in DBLP

Mathematical Knowledge Management (mkm)
2006 (conf/mkm/2006)

1. Gregory J. Chaitin
   The Omega Number: Irreducible Complexity in Pure Math. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:1- [Conf]
   
2. Abdou Youssef
   Roles of Math Search in Mathematics. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:2-16 [Conf]
   
3. Makarius Wenzel
   Structured Induction Proofs in Isabelle/Isar. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:17-30 [Conf]
   
4. Clemens Ballarin
   Interpretation of Locales in Isabelle: Theories and Proof Contexts. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:31-43 [Conf]
   
5. Manfred Kerber
   A Dynamic Poincaré Principle. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:44-53 [Conf]
   
6. Kamal Aboul-Hosn
   A Proof-Theoretic Approach to Tactics. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:54-66 [Conf]
   
7. Serge Autexier, Claudio Sacerdoti Coen
   A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:67-81 [Conf]
   
8. Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
   Proof Transformation by CERES. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:82-93 [Conf]
   
9. Serge Autexier, Dominik Dietrich
   Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:94-109 [Conf]
   
10. Chad E. Brown
    Verifying and Invalidating Textbook Proofs Using Scunak. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:110-123 [Conf]
    
11. Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
    Capturing Abstract Matrices from Paper. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:124-138 [Conf]
    
12. Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge
    Towards a Parser for Mathematical Formula Recognition. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:139-151 [Conf]
    
13. Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel
    Stochastic Modelling of Scientific Terms Distribution in Publications. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:152-164 [Conf]
    
14. Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns
    Capturing the Content of Physics: Systems, Observables, and Experiments. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:165-178 [Conf]
    
15. Andrea Kohlhase, Michael Kohlhase
    Communities of Practice in MKM: An Extensional Model. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:179-193 [Conf]
    
16. Luca Padovani, Stefano Zacchiroli
    From Notation to Semantics: There and Back Again. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:194-207 [Conf]
    
17. Andrew Aberdein
    Managing Informal Mathematical Knowledge: Techniques from Informal Logic. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:208-221 [Conf]
    
18. William Naylor, Julian A. Padget
    From Untyped to Polymorphically Typed Objects in Mathematical Web Services. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:222-236 [Conf]
    
19. Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
    Managing Automatically Formed Mathematical Theories. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:237-250 [Conf]
    
20. Paul Libbrecht, Christian Gross
    Authoring LeActiveMath Calculus Content. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:251-265 [Conf]
    
21. Grzegorz Bancerek
    Information Retrieval and Rendering with. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:266-279 [Conf]
    
22. Pedro Quaresma, Predrag Janicic
    Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:280-294 [Conf]