Mathematical Aspects of Computer and Information Sciences

Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings (Lecture Notes in Computer Science)

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.

Table of Contents

Chapter 1. Automated Reasoning for Knot Semigroups and -orbifold Groups of Knots
Chapter 2. Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation
Chapter 3. Certification Using Newton-Invariant Subspaces
Chapter 4. Decomposition of Low Rank Multi-symmetric Tensor
Chapter 5. Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations
Chapter 6. Efficient Certification of Numeric Solutions to Eigenproblems
Chapter 7. Fast Chinese Remaindering in Practice
Chapter 8. Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets
Chapter 9. Implementing Fast Carryless Multiplication
Chapter 10. Improving Enclosure of Interval Scalar Projection Operation
Chapter 11. Integrating Algebraic and SAT Solvers
Chapter 12. Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
Chapter 13. Jordan Canonical Form with Parameters from Frobenius Form with Parameters
Chapter 14. Knowledge-Based Interoperability for Mathematical Software Systems
Chapter 15. On Interval Methods with Zero Rewriting and Exact Geometric Computation
Chapter 16. Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients
Chapter 17. Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases
Chapter 18. On Real Roots Counting for Non-radical Parametric Ideals
Chapter 19. On the Bit-Size of Non-radical Triangular Sets
Chapter 20. Rapidly Convergent Integrals and Function Evaluation
Chapter 21. Stirling Numbers, Lambert W and the Gamma Function
Chapter 22. The Potential and Challenges of CAD with Equational Constraints for SC-Square
Chapter 23. New Small 4-Designs with Nonabelian Automorphism Groups
Chapter 24. On Classifying Steiner Triple Systems by Their 3-Rank
Chapter 25. Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations
Chapter 26. Experimental Study of the Ehrhart Interpolation Polytope
Chapter 27. On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity
Chapter 28. A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching
Chapter 29. Epidemic Intelligence Statistical Modelling for Biosurveillance
Chapter 30. Mining Acute Stroke Patients’ Data Using Supervised Machine Learning
Chapter 31. Parallel and Robust Empirical Risk Minimization via the Median Trick
Chapter 32. Leakage-Resilient Riffle Shuffle
Chapter 33. Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians
Chapter 34. Statistical Testing of PRNG: Generalized Gambler’s Ruin Problem
Chapter 35. Subtleties in Security Definitions for Predicate Encryption with Public Index
Chapter 36. Code-Based Key Encapsulation from McEliece’s Cryptosystem