Mathematical Aspects of Computer and Information Sciences

7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

  • Johannes Blömer
  • Ilias S. Kotsireas
  • Temur Kutsia
  • Dimitris E. Simos
Conference proceedings MACIS 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Foundation of Algorithms in Mathematics, Engineering and Scientific Computation

    1. Front Matter
      Pages 1-1
    2. Jonathan D. Hauenstein
      Pages 34-50
    3. Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil
      Pages 51-66
    4. Joris van der Hoeven, Bernard Mourrain
      Pages 81-94
    5. Joris van der Hoeven
      Pages 95-106
    6. Daniel J. Bates, Dani A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler
      Pages 107-120
    7. Joris van der Hoeven, Robin Larrieu, Grégoire Lecerf
      Pages 121-136
    8. Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer
      Pages 147-162
    9. Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
      Pages 179-194
    10. Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry et al.
      Pages 195-210
    11. Tom Wiesing, Michael Kohlhase, Florian Rabe
      Pages 243-257
    12. Ryoya Fukasaku, Yosuke Sato
      Pages 258-263

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.

The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.

Keywords

artificial intelligence cryptography data mining data security eigenvalues and eigenfunctions formal logic matrix algebra numerical methods probability problem solving project management regular expressions robots satisfiability semantics set theory software engineering stream ciphers surveillance systems theorem proving

Editors and affiliations

  • Johannes Blömer
    • 1
  • Ilias S. Kotsireas
    • 2
  • Temur Kutsia
    • 3
  • Dimitris E. Simos
    • 4
  1. 1.University of PaderbornPaderbornGermany
  2. 2.Wilfrid Laurier UniversityWaterlooCanada
  3. 3.Johannes Kepler University LinzLinzAustria
  4. 4.SBA ResearchViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-72453-9
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-72452-2
  • Online ISBN 978-3-319-72453-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book