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

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. Front Matter ....Pages I-XI Front Matter ....Pages 1-1 Automated Reasoning for Knot Semigroups and \(\pi \)-orbifold Groups of Knots (Alexei Lisitsa, Alexei Vernitski)....Pages 3-18 Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation (Martin Wilhelm)....Pages 19-33 Certification Using Newton-Invariant Subspaces (Jonathan D. Hauenstein)....Pages 34-50 Decomposition of Low Rank Multi-symmetric Tensor (Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil)....Pages 51-66 Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations (Alexander Levin)....Pages 67-80 Efficient Certification of Numeric Solutions to Eigenproblems (Joris van der Hoeven, Bernard Mourrain)....Pages 81-94 Fast Chinese Remaindering in Practice (Joris van der Hoeven)....Pages 95-106 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 Implementing Fast Carryless Multiplication (Joris van der Hoeven, Robin Larrieu, Grégoire Lecerf)....Pages 121-136 Improving Enclosure of Interval Scalar Projection Operation (Tomasz Dobrowolski)....Pages 137-146 Integrating Algebraic and SAT Solvers (Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer)....Pages 147-162 Isabelle Formalization of Set Theoretic Structures and Set Comprehensions (Cezary Kaliszyk, Karol Pąk)....Pages 163-178 Jordan Canonical Form with Parameters from Frobenius Form with Parameters (Robert M. Corless, Marc Moreno Maza, Steven E. Thornton)....Pages 179-194 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 On Interval Methods with Zero Rewriting and Exact Geometric Computation (Stefan Schirra, Martin Wilhelm)....Pages 211-226 Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients (Qiao-Long Huang, Xiao-Shan Gao)....Pages 227-242 Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases (Tom Wiesing, Michael Kohlhase, Florian Rabe)....Pages 243-257 On Real Roots Counting for Non-radical Parametric Ideals (Ryoya Fukasaku, Yosuke Sato)....Pages 258-263 On the Bit-Size of Non-radical Triangular Sets (Xavier Dahan)....Pages 264-269 Rapidly Convergent Integrals and Function Evaluation (Heba al Kafri, David J. Jeffrey, Robert M. Corless)....Pages 270-274 Stirling Numbers, Lambert W and the Gamma Function (David J. Jeffrey, Nick Murdoch)....Pages 275-279 The Potential and Challenges of CAD with Equational Constraints for SC-Square (James H. Davenport, Matthew England)....Pages 280-285 Front Matter ....Pages 287-287 New Small 4-Designs with Nonabelian Automorphism Groups (Vedran Krčadinac, Mario Osvin Pavčević)....Pages 289-294 On Classifying Steiner Triple Systems by Their 3-Rank (Dieter Jungnickel, Spyros S. Magliveras, Vladimir D. Tonchev, Alfred Wassermann)....Pages 295-305 Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations (Phan Thuan Do, Thi Thu Huong Tran, Vincent Vajnovszki)....Pages 306-319 Experimental Study of the Ehrhart Interpolation Polytope (Vissarion Fisikopoulos, Zafeirakis Zafeirakopoulos)....Pages 320-324 On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity (Takunari Miyazaki)....Pages 325-329 Front Matter ....Pages 331-331 A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching (Václav Blažej, Ondřej Suchý, Tomáš Valla)....Pages 333-348 Epidemic Intelligence Statistical Modelling for Biosurveillance (Christina Parpoula, Alex Karagrigoriou, Angeliki Lambrou)....Pages 349-363 Mining Acute Stroke Patients’ Data Using Supervised Machine Learning (Ritu Kundu, Toktam Mahmoodi)....Pages 364-377 Parallel and Robust Empirical Risk Minimization via the Median Trick (Alexander Kogler, Patrick Traxler)....Pages 378-391 Front Matter ....Pages 393-393 Leakage-Resilient Riffle Shuffle (Paweł Lorek, Michał Kulis, Filip Zagórski)....Pages 395-408 Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians (Georgios Fotiadis, Elisavet Konstantinou)....Pages 409-424 Statistical Testing of PRNG: Generalized Gambler’s Ruin Problem (Paweł Lorek, Marcin Słowik, Filip Zagórski)....Pages 425-437 Subtleties in Security Definitions for Predicate Encryption with Public Index (Johannes Blömer, Gennadij Liske)....Pages 438-453 Code-Based Key Encapsulation from McEliece’s Cryptosystem (Edoardo Persichetti)....Pages 454-459 Back Matter ....Pages 461-462