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

Lecture Notes in Artificial Intelligence

Intelligent Computer Mathematics

CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Editors: Watt, S.M., Sexton, A., Davenport, J.H., Sojka, P., Urban, J. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-319-08434-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-319-08433-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.

Table of contents (38 chapters)

  • What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools

    Silva, Jaime Carvalho e

    Pages 1-11

  • Towards Robust Hyperlinks for Web-Based Scholarly Communication

    Sompel, Herbert (et al.)

    Pages 12-25

  • Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha

    Weisstein, Eric

    Pages 26-29

  • Towards the Formal Reliability Analysis of Oil and Gas Pipelines

    Ahmad, Waqar (et al.)

    Pages 30-44

  • Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

    England, Matthew (et al.)

    Pages 45-60

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Intelligent Computer Mathematics
Book Subtitle
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Editors
  • Stephen M. Watt
  • Alan Sexton
  • James H. Davenport
  • Petr Sojka
  • Josef Urban
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
8543
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-08434-3
DOI
10.1007/978-3-319-08434-3
Softcover ISBN
978-3-319-08433-6
Edition Number
1
Number of Pages
XX, 460
Number of Illustrations and Tables
111 b/w illustrations
Topics