Advertisement

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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
  6. Projects and Surveys

    1. Front Matter
      Pages 259-259
    2. Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz et al.
      Pages 261-279
    3. Howard S. Cohl, Moritz Schubotz, Marjorie A. McClain, Bonita V. Saunders, Cherry Y. Zou, Azeem S. Mohammed et al.
      Pages 280-287
    4. Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan-Afshar, Cvetan Dunchev, Sofiène Tahar
      Pages 288-295
    5. Ferruccio Guidi, Claudio Sacerdoti Coen
      Pages 296-315
    6. Umair Siddique, Osman Hasan, Sofiène Tahar
      Pages 316-324
    7. Max Wisniewski, Alexander Steen, Christoph Benzmüller
      Pages 325-330
  7. Systems and Data

    1. Front Matter
      Pages 331-331
    2. Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
      Pages 333-337
    3. Kazuhisa Nakasho, Yasunari Shidama
      Pages 343-347
    4. Adam Naumowicz
      Pages 348-352
    5. Ons Seddiki, Cvetan Dunchev, Sanaz Khan-Afshar, Sofiène Tahar
      Pages 353-358
  8. Back Matter
    Pages 359-359

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
IT & Software
Energy, Utilities & Environment
Aerospace