More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Artificial Intelligence

Mathematical Knowledge Management

5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings

Editors: Borwein, Jonathan, Farmer, William M. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-37106-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-37104-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (22 chapters)

  • The Omega Number: Irreducible Complexity in Pure Math

    Chaitin, Gregory J.

    Pages 1-1

  • Roles of Math Search in Mathematics

    Youssef, Abdou

    Pages 2-16

  • Structured Induction Proofs in Isabelle/Isar

    Wenzel, Makarius

    Pages 17-30

  • Interpretation of Locales in Isabelle: Theories and Proof Contexts

    Ballarin, Clemens

    Pages 31-43

  • A Dynamic PoincarĂ© Principle

    Kerber, Manfred

    Pages 44-53

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-37106-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-37104-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Knowledge Management
Book Subtitle
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Editors
  • Jonathan Borwein
  • William M. Farmer
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
4108
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37106-9
DOI
10.1007/11812289
Softcover ISBN
978-3-540-37104-5
Edition Number
1
Number of Pages
VIII, 295
Topics