Skip to main content
SpringerLink
Log in
Book cover

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

Overview

Editors:
  1. Johan Jeuring

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John A. Campbell

    1. Department of Computer Science, University College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jacques Carette

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Gabriel Reis

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Petr Sojka

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Makarius Wenzel

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Volker Sorge

    1. The University of Birmingham, School of Computer Science,, Edgbaston, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

Log in via an institution
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

Table of contents (38 papers)

  1. Front Matter

    Download chapter PDF

  2. Mathematical Knowledge Management 2012

    1. Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar

      • Jesse Alama, Lionel Mamane, Josef Urban
      Pages 1-16

    2. Proof, Message and Certificate

      • Andrea Asperti
      Pages 17-31

    3. Challenges and Experiences in Managing Large-Scale Proofs

      • Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
      Pages 32-48

    4. Semantic Alliance : A Framework for Semantic Allies

      • Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
      Pages 49-64

    5. Extending MKM Formats at the Statement Level

      • Fulya Horozal, Michael Kohlhase, Florian Rabe
      Pages 65-80

    6. A Streaming Digital Ink Framework for Multi-party Collaboration

      • Rui Hu, Vadim Mazalov, Stephen M. Watt
      Pages 81-95

    7. Cost-Effective Integration of MKM Semantic Services into Editing Environments

      • Constantin Jucovschi
      Pages 96-110

    8. Understanding the Learners’ Actions when Using Mathematics Learning Tools

      • Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin
      Pages 111-126

    9. Towards Understanding Triangle Construction Problems

      • Vesna Marinković, Predrag Janičić
      Pages 127-142

    10. A Query Language for Formal Mathematical Libraries

      • Florian Rabe
      Pages 143-158

    11. Abramowitz and Stegun – A Resource for Mathematical Document Analysis

      • Alan P. Sexton
      Pages 159-168

    12. Point-and-Write – Documenting Formal Mathematics by Reference

      • Carst Tankink, Christoph Lange, Josef Urban
      Pages 169-185

    13. 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
Back to top

Other volumes

  1. Intelligent Computer Mathematics

Keywords

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.

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

Policies and ethics

Back to top

Search

Navigation