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

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
  • About this book