Skip to content
Home/ Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, Mkm, and Systems and Proj
Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, Mkm, and Systems and Proj

Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, Mkm, and Systems and Proj

No customer reviews yet ISBN 9783319084336

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.

About the author

Product details

Pub dateJul 28, 2014
ISBN-10331908433X
ISBN-139783319084336
LanguageEnglish
Last updated 2026-04-23 23:56
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Data Science - General
See all
HTML Virtual Classroom
Fuller, Robert
$28.02
Interactive Computing Series: Microsoft FrontPage 2000 Brief Edition (Brief)
Laudon, Kenneth C
$39.81
Writing Hypertext and Learning: Conceptual and Empirical Approaches
Emerald Publishing Limited
$199.99
Advances in Imaging and Electron Physics: Volume 140
Hawkes, Peter W
$317.93
Essential Guide to Video Processing
Bovik, Alan C
$113.44
Essential Guide to Image Processing [With CDROM]
<ul> <li>A complete introduction to the basic and intermediate concepts of image processing from the leading people in the field</li> <li>Up-to-date content, including statistical modeling of natural, anistropic diffusion, image quality and the latest developments in JPEG 2000 </li></ul> <p>This comprehensive and state-of-the art approach to image processing gives engineers and students a thorough introduction, and includes full coverage of key applications: image watermarking, fingerprint recognition, face recognition and iris recognition and medical imaging. <i>"This book combines basic image processing techniques with some of the most advanced procedures. Introductory chapters dedicated to general principles are presented alongside detailed application-orientated ones. As a result it is suitably adapted for different classes of readers, ranging from Master to PhD students and beyond." - Prof. Jean-Philippe Thiran, EPFL, Lausanne, Switzerland</i> <p><i></i></p> <p><i>"Al Bovik's compendium proceeds systematically from fundamentals to today's research frontiers. Professor Bovik, himself a highly respected leader in the field, has invited an all-star team of contributors. Students, researchers, and practitioners of image processing alike should benefit from the Essential Guide." - Prof. Bernd Girod, Stanford University, USA</i></p> <p><i></i></p> <p><i>"This book is informative, easy to read with plenty of examples, and allows great flexibility in tailoring a course on image processing or analysis." - Prof. Pamela Cosman, University of California, San Diego, USA</i></p>
$96.47