Skip to main content
SpringerLink
Log in
Book cover

Mathematical Aspects of Computer and Information Sciences

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Johannes Blömer

    1. University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ilias S. Kotsireas

    1. Wilfrid Laurier University, Waterloo, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Temur Kutsia

    1. Johannes Kepler University Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Dimitris E. Simos

    1. SBA Research, Vienna, Austria

    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 10693)

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

Included in the following conference series:

Conference proceedings info: MACIS 2017.

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 (36 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Foundation of Algorithms in Mathematics, Engineering and Scientific Computation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Automated Reasoning for Knot Semigroups and \(\pi \)-orbifold Groups of Knots

      • Alexei Lisitsa, Alexei Vernitski
      Pages 3-18

    3. Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation

      • Martin Wilhelm
      Pages 19-33

    4. Certification Using Newton-Invariant Subspaces

      • Jonathan D. Hauenstein
      Pages 34-50

    5. Decomposition of Low Rank Multi-symmetric Tensor

      • Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil
      Pages 51-66

    6. Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations

      • Alexander Levin
      Pages 67-80

    7. Efficient Certification of Numeric Solutions to Eigenproblems

      • Joris van der Hoeven, Bernard Mourrain
      Pages 81-94

    8. Fast Chinese Remaindering in Practice

      • Joris van der Hoeven
      Pages 95-106

    9. Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets

      • Daniel J. Bates, Dani A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler
      Pages 107-120

    10. Implementing Fast Carryless Multiplication

      • Joris van der Hoeven, Robin Larrieu, Grégoire Lecerf
      Pages 121-136

    11. Improving Enclosure of Interval Scalar Projection Operation

      • Tomasz Dobrowolski
      Pages 137-146

    12. Integrating Algebraic and SAT Solvers

      • Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer
      Pages 147-162

    13. Isabelle Formalization of Set Theoretic Structures and Set Comprehensions

      • Cezary Kaliszyk, Karol Pąk
      Pages 163-178

    14. Jordan Canonical Form with Parameters from Frobenius Form with Parameters

      • Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
      Pages 179-194

    15. Knowledge-Based Interoperability for Mathematical Software Systems

      • Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry et al.
      Pages 195-210

    16. On Interval Methods with Zero Rewriting and Exact Geometric Computation

      • Stefan Schirra, Martin Wilhelm
      Pages 211-226

    17. Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients

      • Qiao-Long Huang, Xiao-Shan Gao
      Pages 227-242

    18. Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases

      • Tom Wiesing, Michael Kohlhase, Florian Rabe
      Pages 243-257

    19. On Real Roots Counting for Non-radical Parametric Ideals

      • Ryoya Fukasaku, Yosuke Sato
      Pages 258-263
Back to top

Other volumes

  1. Mathematical Aspects of Computer and Information Sciences

Keywords

About this book

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.

Editors and Affiliations

  • University of Paderborn, Paderborn, Germany

    Johannes Blömer

  • Wilfrid Laurier University, Waterloo, Canada

    Ilias S. Kotsireas

  • Johannes Kepler University Linz, Linz, Austria

    Temur Kutsia

  • SBA Research, Vienna, Austria

    Dimitris E. Simos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation