Skip to main content
SpringerLink
Log in
Book cover

Mathematical Aspects of Computer and Information Sciences

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Ilias S. Kotsireas

    1. Wilfrid Laurier University, Waterloo, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Siegfried M. Rump

    1. Hamburg University of Technology, Hamburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Chee K. Yap

    1. New York University, New York, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: MACIS 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (52 papers)

  1. Front Matter

    Pages I-XXIII
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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

    4. Symbolic Geometric Reasoning with Advanced Invariant Algebras

      • Hongbo Li
      Pages 35-49

    5. Congruence Testing of Point Sets in Three and Four Dimensions

      • Günter Rote
      Pages 50-59

  3. Curves and Surfaces

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    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

    3. Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve

      • Rémi Imbach, Guillaume Moroz, Marc Pouget
      Pages 78-92

    4. Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties

      • S. P. Sidorov
      Pages 93-106

  4. Applied Algebraic Geometry

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    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. Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property

      • Noah S. Daleo, Jonathan D. Hauenstein
      Pages 137-142

    6. Some Results Concerning the Explicit Isomorphism Problem over Number Fields

      • Péter Kutas
      Pages 143-148

  5. Cryptography

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures

      • Peter Günther, Volker Krummel
      Pages 151-165

    3. Short Group Signatures with Distributed Traceability

      • Johannes Blömer, Jakob Juhnke, Nils Löken
      Pages 166-180

    4. On the Optimality of Differential Fault Analyses on CLEFIA

      • Ágnes Kiss, Juliane Krämer, Anke Stüber
      Pages 181-196
Back to top

Other volumes

  1. Mathematical Aspects of Computer and Information Sciences

Keywords

About this book

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.

Editors and Affiliations

  • Wilfrid Laurier University, Waterloo, Canada

    Ilias S. Kotsireas

  • Hamburg University of Technology, Hamburg, Germany

    Siegfried M. Rump

  • New York University, New York, USA

    Chee K. Yap

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation