Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

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