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. Real Complexity: Theory and Practice

    1. Front Matter
      Pages 467-467
    2. Olivier Bournez, Daniel S. Graça, Amaury Pouly
      Pages 469-473
    3. Franz Brauße, Margarita Korovina, Norbert Müller
      Pages 474-488
    4. Matthias Schröder, Florian Steinberg, Martin Ziegler
      Pages 505-519
    5. Joris van der Hoeven
      Pages 520-532
  2. Global Optimization

  3. General Session

    1. Front Matter
      Pages 577-577
    2. Carlos Améndola, Mathias Drton, Bernd Sturmfels
      Pages 579-590
    3. Prashant Batra
      Pages 591-595
    4. Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
      Pages 596-610
    5. Rouven Walter, Thore Kübart, Wolfgang Küchlin
      Pages 611-626
  4. Back Matter
    Pages 627-628

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