Mathematical Aspects of Computer and Information Sciences

6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

  • Ilias S. Kotsireas
  • Siegfried M. Rump
  • Chee K. Yap
Conference proceedings MACIS 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9582)

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Janko Böhm, Wolfram Decker, Simon Keicher, Yue Ren
      Pages 3-24
    3. Claude-Pierre Jeannerod
      Pages 25-34
  3. Curves and Surfaces

    1. Front Matter
      Pages 61-61
    2. Andreas Beyer, Yu Liu, Hubert Mara, Susanne Krömker
      Pages 63-77
  4. Applied Algebraic Geometry

    1. Front Matter
      Pages 107-107
    2. Daniel A. Brake, Daniel J. Bates, Vakhtang Putkaradze, Anthony A. Maciejewski
      Pages 109-123
    3. Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese
      Pages 124-129
    4. Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels
      Pages 130-136
  5. Cryptography

    1. Front Matter
      Pages 149-149
    2. Johannes Blömer, Jakob Juhnke, Nils Löken
      Pages 166-180
    3. Ágnes Kiss, Juliane Krämer, Anke Stüber
      Pages 181-196
  6. Verified Numerical Computation

    1. Front Matter
      Pages 197-197
    2. Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
      Pages 199-201
    3. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin’ichi Oishi
      Pages 218-223
  7. Polynomial System Solving

    1. Front Matter
      Pages 229-229
    2. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
      Pages 231-235
    3. Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai
      Pages 236-251
    4. Frank-M. Quedenfeld, Christopher Wolf
      Pages 268-282
  8. Managing Massive Data

    1. Front Matter
      Pages 283-283
    2. Salvatore Aronica, Alessio Langiu, Francesca Marzi, Salvatore Mazzola, Filippo Mignosi, Giulio Nazzicone
      Pages 285-289
    3. Jacqueline W. Daykin, Mirka Miller, Joe Ryan
      Pages 290-304
    4. Joachim Giesen, Sören Laue, Jens K. Mueller
      Pages 305-319
    5. Tomasz Kociumaka, Jakub Radoszewski, Bartłomiej Wiśniewski
      Pages 320-334
  9. Computational Theory of Differential and Difference Equations

  10. Data and Knowledge Exploration

    1. Front Matter
      Pages 381-381
    2. Wenya An, Xiaoyu Chen, Dongming Wang
      Pages 383-397
    3. Waad Bouaguel, Emna Mouelhi, Ghazi Bel Mufti
      Pages 398-405
    4. Radu Hambasan, Michael Kohlhase
      Pages 406-420
  11. Algorithm Engineering in Geometric Computing

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015.

The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.


Cryptography Curves Geometric computing Data and knowledge exploration Machine learning Dynamical systems Massive data Global optimization Verified numerical computation Knowledge management Algebraic modeling Numerical algebraic geometry Algorithmic engineering Polynomial system solving Applied algebraic geometry Precision-driven computation Artificial intelligence Real complexity Computational differential equations Surfaces

Editors and affiliations

  • Ilias S. Kotsireas
    • 1
  • Siegfried M. Rump
    • 2
  • Chee K. Yap
    • 3
  1. 1.Wilfrid Laurier UniversityWaterlooCanada
  2. 2.Hamburg University of TechnologyHamburgGermany
  3. 3.New York UniversityNew YorkUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-32858-4
  • Online ISBN 978-3-319-32859-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site