Skip to main content
  • Conference proceedings
  • © 2012

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

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

Conference series link(s): CICM: International Conference on Intelligent Computer Mathematics

Conference proceedings info: CICM 2012.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-31374-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (38 papers)

  1. Front Matter

  2. Mathematical Knowledge Management 2012

    1. Proof, Message and Certificate

      • Andrea Asperti
      Pages 17-31
    2. Challenges and Experiences in Managing Large-Scale Proofs

      • Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
      Pages 32-48
    3. Semantic Alliance: A Framework for Semantic Allies

      • Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
      Pages 49-64
    4. Extending MKM Formats at the Statement Level

      • Fulya Horozal, Michael Kohlhase, Florian Rabe
      Pages 65-80
    5. A Streaming Digital Ink Framework for Multi-party Collaboration

      • Rui Hu, Vadim Mazalov, Stephen M. Watt
      Pages 81-95
    6. Understanding the Learners’ Actions when Using Mathematics Learning Tools

      • Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin
      Pages 111-126
    7. Towards Understanding Triangle Construction Problems

      • Vesna Marinković, Predrag Janičić
      Pages 127-142
    8. Point-and-Write – Documenting Formal Mathematics by Reference

      • Carst Tankink, Christoph Lange, Josef Urban
      Pages 169-185
    9. An Essence of SSReflect

      • Iain Whiteside, David Aspinall, Gudmund Grov
      Pages 186-201
  3. Calculemus 2012

    1. Theory Presentation Combinators

      • Jacques Carette, Russell O’Connor
      Pages 202-215
    2. Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging

      • Jónathan Heras, María Poza, Julio Rubio
      Pages 216-230
    3. Towards the Formal Specification and Verification of Maple Programs

      • Muhammad Taimoor Khan, Wolfgang Schreiner
      Pages 231-247
    4. Formalizing Frankl’s Conjecture: FC-Families

      • Filip Marić, Miodrag Živković, Bojan Vučković
      Pages 248-263
    5. CDCL-Based Abstract State Transition System for Coherent Logic

      • Mladen Nikolić, Predrag Janičić
      Pages 264-279
    6. Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases

      • David J. Wilson, Russell J. Bradford, James H. Davenport
      Pages 280-294

Other Volumes

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

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.

Keywords

  • formal languages
  • machine verifyable proofs
  • parsing
  • program specification
  • semantic Web

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

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-31374-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)