Skip to main content

Intelligent Computer Mathematics

11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings

  • Conference proceedings
  • © 2012


  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7362)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CICM 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.

Similar content being viewed by others


Table of contents (38 papers)

  1. Mathematical Knowledge Management 2012

  2. Calculemus 2012

Other volumes

  1. Intelligent Computer Mathematics

Editors and Affiliations

  • Department of Information and Computing Sciences, Utrecht University and Open Universiteit Nederland, Utrecht, The Netherlands

    Johan Jeuring

  • Department of Computer Science, University College London, London, UK

    John A. Campbell

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Jacques Carette

  • Department of Computer Science and Engineering, Texas A&M University, College Station, USA

    Gabriel Reis

  • Department of Computer Graphics and Design, Masaryk University, Brno, Czech Republic

    Petr Sojka

  • Laboratoire de Recherche en Informatique (LRI - UMR8623) PCRI, Université Paris-Sud, Orsay Cedex, France

    Makarius Wenzel

  • The University of Birmingham, School of Computer Science,, Edgbaston, UK

    Volker Sorge

Bibliographic Information

Publish with us