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

  • Johan Jeuring
  • John A. Campbell
  • Jacques Carette
  • Gabriel Dos Reis
  • Petr Sojka
  • Makarius Wenzel
  • Volker Sorge
Conference proceedings CICM 2012

DOI: 10.1007/978-3-642-31374-5

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

Table of contents

  1. Front Matter
  2. Mathematical Knowledge Management 2012

    1. Andrea Asperti
      Pages 17-31
    2. Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
      Pages 32-48
    3. Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
      Pages 49-64
    4. Fulya Horozal, Michael Kohlhase, Florian Rabe
      Pages 65-80
    5. Rui Hu, Vadim Mazalov, Stephen M. Watt
      Pages 81-95
    6. Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin
      Pages 111-126
    7. Vesna Marinković, Predrag Janičić
      Pages 127-142
    8. Carst Tankink, Christoph Lange, Josef Urban
      Pages 169-185
    9. Iain Whiteside, David Aspinall, Gudmund Grov
      Pages 186-201
  3. Calculemus 2012

    1. Jacques Carette, Russell O’Connor
      Pages 202-215
    2. Jónathan Heras, María Poza, Julio Rubio
      Pages 216-230
    3. Muhammad Taimoor Khan, Wolfgang Schreiner
      Pages 231-247
    4. Filip Marić, Miodrag Živković, Bojan Vučković
      Pages 248-263
    5. Mladen Nikolić, Predrag Janičić
      Pages 264-279
    6. David J. Wilson, Russell J. Bradford, James H. Davenport
      Pages 280-294

About these proceedings

Introduction

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.

Keywords

formal languages machine verifyable proofs parsing program specification semantic Web

Editors and affiliations

  • Johan Jeuring
    • 1
  • John A. Campbell
    • 2
  • Jacques Carette
    • 3
  • Gabriel Dos Reis
    • 4
  • Petr Sojka
    • 5
  • Makarius Wenzel
    • 6
  • Volker Sorge
    • 7
  1. 1.Department of Information and Computing SciencesUtrecht University and Open Universiteit NederlandUtrechtThe Netherlands
  2. 2.Department of Computer ScienceUniversity College LondonLondonUK
  3. 3.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  4. 4.Department of Computer Science and EngineeringTexas A&M UniversityCollege StationUSA
  5. 5.Department of Computer Graphics and DesignMasaryk UniversityBrnoCzech Republic
  6. 6.Laboratoire de Recherche en Informatique (LRI - UMR8623) PCRIUniversité Paris-SudOrsay CedexFrance
  7. 7.The University of Birmingham, School of Computer Science,EdgbastonUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31373-8
  • Online ISBN 978-3-642-31374-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349