Join BookitisSave favorites, build lists, and follow creators.
Log InCreate Account

Intelligent Computer Mathematics

Work detail

Bookitis Pick
Cover for Intelligent Computer Mathematics
IC
Image source: Open Library
Volker SorgeDavid AspinallChristoph LangeStephen WattClaudio Sacerdoti CoenManfred KerberJacques CarettePetr SojkaWolfgang WindsteigerFlorian RabeCezary KaliszykLucas Dixon7 editions

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.

Search booksOpen lead author

Overview

Shared work-level identity and catalog context.

12 credited authorsSearch language english

Bookitis keeps work pages focused on the shared book identity and the editions that actually belong to it. Unrelated books should not appear here as primary content.

Contributors

People credited with this work in the active catalog.

  • Volker Sorge

    Author profile in the active Bookitis catalog

    Open Author

  • David Aspinall

    Author profile in the active Bookitis catalog

    Open Author

  • Christoph Lange

    Author profile in the active Bookitis catalog

    Open Author

  • Stephen Watt

    Author profile in the active Bookitis catalog

    Open Author

  • Claudio Sacerdoti Coen

    Author profile in the active Bookitis catalog

    Open Author

  • Manfred Kerber

    Author profile in the active Bookitis catalog

    Open Author

  • Jacques Carette

    Author profile in the active Bookitis catalog

    Open Author

  • Petr Sojka

    Author profile in the active Bookitis catalog

    Open Author

  • Wolfgang Windsteiger

    Author profile in the active Bookitis catalog

    Open Author

  • Florian Rabe

    Author profile in the active Bookitis catalog

    Open Author

  • Cezary Kaliszyk

    Author profile in the active Bookitis catalog

    Open Author

  • Lucas Dixon

    Author profile in the active Bookitis catalog

    Open Author

Editions

Publication-specific versions linked to this work only.