Mathematical Knowledge Management

Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

  • Andrea Asperti
  • Grzegorz Bancerek
  • Andrzej Trybulec
Conference proceedings MKM 2004

DOI: 10.1007/b100478

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3119)

Table of contents

  1. Front Matter
  2. Andrew A. Adams, James H. Davenport
    Pages 1-16
  3. Andrea Asperti, Matteo Selmi
    Pages 17-31
  4. Olga Caprotti, Mike Dewar, Daniele Turi
    Pages 73-87
  5. Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
    Pages 88-103
  6. Dirk Draheim, Winfried Neun, Dima Suliman
    Pages 104-115
  7. Adam Grabowski, Christoph Schwarzweller
    Pages 130-144
  8. Gueorgui Jojgov, Rob Nederpelt
    Pages 145-159
  9. Fairouz Kamareddine, Manuel Maarek, J. B. Wells
    Pages 160-174
  10. Andrea Kohlhase, Michael Kohlhase
    Pages 175-189
  11. Temur Kutsia, Bruno Buchberger
    Pages 205-219
  12. Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert Constable
    Pages 220-235
  13. Alexander Lyaletski, Andrey Paskevich, Konstantin Verchinine
    Pages 236-250
  14. Erica Melis, Andreas Meier, Martin Pollet
    Pages 251-264
  15. Miguel A. Mora, Roberto Moriyón, Francisco Saiz
    Pages 265-275

About these proceedings

Keywords

LaTeX Variable calculus equation expert systems formal logic mathematical knowledge representation mathematical libraries mathematics mathematics retrieval proof semantic web theorem theorem proving verification

Editors and affiliations

  • Andrea Asperti
    • 1
  • Grzegorz Bancerek
    • 2
  • Andrzej Trybulec
  1. 1.Department of Computer ScienceUniversity of BolognaBolognaItaly
  2. 2.Faculty of Computer ScienceBiałystok Technical UniversityPoland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23029-8
  • Online ISBN 978-3-540-27818-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349