Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

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.)

Free Preview

Buy this book

eBook 53,54 €
price for Spain (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 66,56 €
price for Spain (gross)
  • ISBN 978-3-319-08433-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 (39 chapters)

Table of contents (39 chapters)
  • What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools

    Pages 1-11

    Silva, Jaime Carvalho e

  • Towards Robust Hyperlinks for Web-Based Scholarly Communication

    Pages 12-25

    Sompel, Herbert (et al.)

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

    Pages 26-29

    Weisstein, Eric

  • Towards the Formal Reliability Analysis of Oil and Gas Pipelines

    Pages 30-44

    Ahmad, Waqar (et al.)

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

    Pages 45-60

    England, Matthew (et al.)

Buy this book

eBook 53,54 €
price for Spain (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 66,56 €
price for Spain (gross)
  • ISBN 978-3-319-08433-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
111 b/w illustrations
Topics