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

DOI: 10.1007/978-3-319-32859-1

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

Table of contents (52 papers)

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

    1. Front Matter
      Pages 1-1
    2. Current Challenges in Developing Open Source Computer Algebra Systems
      Janko Böhm, Wolfram Decker, Simon Keicher, Yue Ren
      Pages 3-24
    3. Exploiting Structure in Floating-Point Arithmetic
      Claude-Pierre Jeannerod
      Pages 25-34
  3. Curves and Surfaces

    1. Front Matter
      Pages 61-61
    2. Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features
      Andreas Beyer, Yu Liu, Hubert Mara, Susanne Krömker
      Pages 63-77
  4. Applied Algebraic Geometry

    1. Front Matter
      Pages 107-107
    2. Workspace Multiplicity and Fault Tolerance of Cooperating Robots
      Daniel A. Brake, Daniel J. Bates, Vakhtang Putkaradze, Anthony A. Maciejewski
      Pages 109-123
    3. Numerical Local Irreducible Decomposition
      Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese
      Pages 124-129
    4. Computing the Chow Variety of Quadratic Space Curves
      Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels
      Pages 130-136
  5. Cryptography

    1. Front Matter
      Pages 149-149
    2. Short Group Signatures with Distributed Traceability
      Johannes Blömer, Jakob Juhnke, Nils Löken
      Pages 166-180
    3. On the Optimality of Differential Fault Analyses on CLEFIA
      Ágnes Kiss, Juliane Krämer, Anke Stüber
      Pages 181-196

About these proceedings

Introduction

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.

Keywords

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

  • 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