CICM: Conferences on Intelligent Computer Mathematics

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

  • Manfred Kerber
  • Jacques Carette
  • Cezary Kaliszyk
  • Florian Rabe
  • Volker Sorge
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9150)

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Jasmin Christian Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow
      Pages 3-17
  3. Calculemus

    1. Front Matter
      Pages 37-37
    2. Waqar Ahmad, Osman Hasan
      Pages 39-54
    3. Luís Cruz-Filipe, Peter Schneider-Kamp
      Pages 55-70
    4. Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
      Pages 71-86
    5. Steven Obua, Jacques Fleuriot, Phil Scott, David Aspinall
      Pages 87-101
    6. Florian Rabe
      Pages 102-117
  4. Digital Mathematics Libraries

    1. Front Matter
      Pages 135-135
  5. Mathematical Knowledge Management

    1. Front Matter
      Pages 153-153
    2. Serge Autexier, Dieter Hutter
      Pages 155-170
    3. Fulya Horozal, Florian Rabe
      Pages 171-186
    4. Mihnea Iancu, Michael Kohlhase
      Pages 187-202
    5. Bruce R. Miller
      Pages 203-210
    6. Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
      Pages 227-242

About these proceedings

Introduction

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

Keywords

automated deduction computer algebra mathematical publishing mechanized reasoning symbolic computation

Editors and affiliations

  • Manfred Kerber
    • 1
  • Jacques Carette
    • 2
  • Cezary Kaliszyk
    • 3
  • Florian Rabe
    • 4
  • Volker Sorge
    • 5
  1. 1.School of Computer ScienceUniversity of BirminghamBirminghamUnited Kingdom
  2. 2.McMaster UniversityHamiltonCanada
  3. 3.University of InnsbruckInnsbruckAustria
  4. 4.Jacobs University BremenBremenGermany
  5. 5.University of BirminghamBirminghamUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-20615-8
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-20614-1
  • Online ISBN 978-3-319-20615-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349