Johannes Blömer · Ilias S. Kotsireas Temur Kutsia · Dimitris E. Simos (Eds.) 3 9 6 0 1 Mathematical Aspects of Computer S C N and Information Sciences L 7th International Conference, MACIS 2017 Vienna, Austria, November 15–17, 2017 Proceedings 123 Lecture Notes in Computer Science 10693 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7407 ö Johannes Bl mer Ilias S. Kotsireas (cid:129) Temur Kutsia Dimitris E. Simos (Eds.) (cid:129) Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017 – Vienna, Austria, November 15 17, 2017 Proceedings 123 Editors JohannesBlömer TemurKutsia University of Paderborn JohannesKepler University Linz Paderborn Linz Germany Austria Ilias S.Kotsireas Dimitris E.Simos Wilfrid LaurierUniversity SBAResearch Waterloo, ON Vienna Canada Austria ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-72452-2 ISBN978-3-319-72453-9 (eBook) https://doi.org/10.1007/978-3-319-72453-9 LibraryofCongressControlNumber:2017961797 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©SpringerInternationalPublishingAG2017 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface Mathematical Aspects of Computer and Information Sciences (MACIS) is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. It is broadly concerned with algorithms, their complexity, and their embedding in larger logical systems. At the algorithmic level thereisarichinterplay alongthenumerical/algebraic/geometrical/topologicalaxes. At the logical level, there are issues of data organization, interpretation, and associated tools.Theseissuesoftenariseinscientificandengineeringcomputationwhereweneed experiments and case studies to validate or enrich the theory. At the application level, there are significant applications in the areas of mathematical cryptography, machine learning,anddataanalysis,andthevariouscombinatorialstructuresandcodingtheory conceptsthatareusedinapivotalroleincomputingandinformationsciences.MACIS isinterestedinoutstandingandemergingproblemsinalltheseareas.PreviousMACIS conferences have been held in Beijing (2006, 2011), Paris (2007), Fukuoka (2009), Nanning (2013), and Berlin (2015). MACIS 2017 was held at the University of Applied Sciences Technikum Wien located in the capital of Austria. WearegratefultothetrackchairsandtheProgramCommitteefortheircriticalrole in putting together a very successful technical program, especially under strict dead- lines.WealsowishtoextendourgratitudetoallMACIS2017conferenceparticipants –allofthemcontributedtomakingtheconferenceasuccess.Theconferencewouldnot have been possible without the hard work of the local organizer from SBA Research, Bettina Bauer. SBA Research is Austria’s leading center dedicated to information security.Oneofitscoreresearchareasfocusesonmathematicalaspectsofinformation security. We are extremely fortunate to have received the generous support of our sponsors: University of Applied Sciences Technikum Wien, Zuse Institute Berlin (in particular,wearethankfultoWinfriedNeunforhiseffortstowardtransferringthepast MACISbudgettothiseditionofMACIS),SBAResearch,andtheViennaConvention Bureau. Last but not least, we are thankful to the two invited speakers, Bruno Buch- berger (RISC, Johannes Kepler University, Austria) and Dongming Wang (Beihang University, China and CNRS, France), for honoring the conference with their partic- ipation and stimulating talks. The volume contains 36 refereed papers (28 regular and 8 short papers) carefully selected out of 67 total submissions (53 regular, 14 short); thus, MACIS 2017 has an overall acceptance rate of 54%. The papers are organized in different categories cor- responding to four tracks featured in the MACIS 2017 conference. The topics of the MACIS 2017 tracks cover a wide array of research areas, as follows: Track 1: Foundation of Algorithms in Mathematics, Engineering and Scientific Computation Track Chairs: Matthew England, Jonathan Hauenstein, Laura Kovács, Elias Tsigaridas VI Preface Track 2: Combinatorics and Codes in Computer Science Track Chairs: Daniel Augot, Alexander May, Alfred Wasserman Track 3: Data Modeling and Analysis Track Chairs: Xiaoyu Chen, Joachim Giesen, Giorgos Kollias Track 4: Mathematical Aspects of Information Security and Cryptography Track Chairs: Jan Camenisch, Stefan Dziembowski, Guenael Renault We wish to thank all the track chairs for their hard work in putting together these tracks.Lastbut not least, we thank the Springermanagement and production team for their support. October 2017 Johannes Blömer Ilias S. Kotsireas Temur Kutsia Dimitris E. Simos Organization General Chair Dimitris E. Simos SBA Research, Austria Local Organization Bettina Bauer SBA Research, Austria Yvonne Poul SBA Research, Austria Program Chairs Johannes Blömer Paderborn University, Germany Temur Kutsia RISC, Johannes Kepler University, Austria Program Committee Daniel Augot Inria, France Dan Bates Colorado State University, USA Russell Bradford University of Bath, UK Daniel Brake University of Wisconsin Eau Claire, USA Laurent Buse Inria, France Eimear Byrne University College Dublin, Ireland Jan Camenisch IBM Research, Switzerland Xiaoyu Chen Beihang University, China Stefan Dziembowski University of Warsaw, Poland Matthew England Coventry University, UK Joachim Giesen Friedrich-Schiller-Universität Jena, Germany Alberto Griggio FBK-IRST, Italy Jonathan Hauenstein University of Notre Dame, USA Giorgos Kollias IBM Research USA Ilias Kotsireas Wilfrid Laurier University, Canada Laura Kovacs Vienna University of Technology, Austria Alexander May Ruhr-Universität Bochum, Germany Winfried Neun ZIB, Germany Rodrigue Ngueyep IBM Research, USA Athanasios Nikolakopoulos University of Patras, Greece Veronika Pillwein Johannes Kepler University, Austria Guenael Renault ANSSI/UPMC LIP6/Inria POLSYS, France Elias Tsigaridas Inria, France Alfred Wassermann Universität Bayreuth, Germany VIII Organization Additional Reviewers Bachoc, Christine Irfan, Ahmed Ostergard, Patric Both, Leif Kampel, Ludwig Pavcevic, Mario Osvin Chen, Changbo Kremer, Gereon Robertz, Daniel Esser, Andre Kübler, Robert Seiler, Gregor Gaborit, Philippe Lavauzelle, Julien Seurin, Yannick Guibert, Olivier Levandovskyy, Viktor Tillich, Jean-Pierre Guillevic, Aurore Magliveras, Spyros Tonchev, Vladimir Heuer, Felix Matsuda, Takahiro MACIS Steering Committee Ilias Kotsireas Wilfrid Laurier University, Canada (Chair) Siegfried Rump Hamburg University of Technology, Germany Thomas Sturm CNRS, France Dongming Wang Beihang University, China and CNRS, France Jinzhao Wu Guangxi University for Nationalities, China Chee Yap New York University, USA Contents Foundation of Algorithms in Mathematics, Engineering and Scientific Computation Automated Reasoning for Knot Semigroups and p-orbifold Groups of Knots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Alexei Lisitsa and Alexei Vernitski Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation . . . 19 Martin Wilhelm Certification Using Newton-Invariant Subspaces. . . . . . . . . . . . . . . . . . . . . 34 Jonathan D. Hauenstein Decomposition of Low Rank Multi-symmetric Tensor. . . . . . . . . . . . . . . . . 51 Jouhayna Harmouch, Bernard Mourrain, and Houssam Khalil Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 Alexander Levin Efficient Certification of Numeric Solutions to Eigenproblems . . . . . . . . . . . 81 Joris van der Hoeven and Bernard Mourrain Fast Chinese Remaindering in Practice. . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 Joris van der Hoeven HomotopiesforConnectedComponentsofAlgebraicSetswithApplication to Computing Critical Sets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Daniel J. Bates, Dani A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, and Charles W. Wampler Implementing Fast Carryless Multiplication . . . . . . . . . . . . . . . . . . . . . . . . 121 Joris van der Hoeven, Robin Larrieu, and Grégoire Lecerf Improving Enclosure of Interval Scalar Projection Operation . . . . . . . . . . . . 137 Tomasz Dobrowolski Integrating Algebraic and SAT Solvers . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 Jan Horáček, Jan Burchard, Bernd Becker, and Martin Kreuzer Isabelle Formalization of Set Theoretic Structures and Set Comprehensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 Cezary Kaliszyk and Karol Pąk