Session Submission Code EasyChair Code Submission Name Authors TIPS Gröbner Bases in Theory and Practice p1 29 A Design and an implementation of an Inverse Kinematics Computation in Robotics using Groebner Basis Noriyuki Horigome, Akira Terui* and Masahiko Mikawa The orange color in Codes marks the duplicates, i.e. the submission that belong to more than one session. p7 33 Algorithms for Pfaffian systems and cohomology intersection numbers of hypergeometric integrals Saiei-Jaeyeong Matsubara-Heo* and Nobuki Takayama* Real Algebraic Geometry p2 17 Curtains in CAD: Why are they a problem and how do we fix them? Akshar Nair*, James Davenport* and Gregory Sankaran p3 38 Chordality Preserving Incremental Triangular Decomposition and Its Implementation Changbo Chen p30 49 Applying machine learning to heuristics for real polynomial constraint solving Christopher Brown* and Glenn Christopher Daves p31 53 A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs Dorian Florescu* and Matthew England* Algebraic Geometry via Numerical Computation p4 4 $\bbbq(\sqrt{-3})$-Integral Points on a Mordell Curve Francesca Bianchi p5 42 A numerical approach for computing Euler characteristics of affine varieties Xiaxin Li, Jose Rodriguez* and Botong Wang p6 56 Evaluating and differentiating a polynomial using a pseudo-witness set Margaret Regan* and Jonathan Hauenstein Computational Algebraic Analysis p7 33 Algorithms for Pfaffian systems and cohomology intersection numbers of hypergeometric integrals Saiei-Jaeyeong Matsubara-Heo* and Nobuki Takayama* Software for Number Theory and Arithmetic Geometry p4 4 $\bbbq(\sqrt{-3})$-Integral Points on a Mordell Curve Francesca Bianchi p8 25 Computations with algebraic surfaces Andreas-Stephan Elsenhans* and Jörg Jahnel p47 45 Certifying Irreducibility in $\ZZ[x]$ John Abbott p9 50 Evaluating fractional derivatives of the Riemann zeta function Ricky Farr, Sebastian Pauli* and Filip Saidak Groups and Group Actions p10 16 Towards Efficient Normalizers of Primitive Groups Sergio Christian Siccha p11 20 Homomorphic encryption and some black box attacks Alexandre Borovik and Sukru Yalcinkaya* p12 22 Nilpotent quotients of associative Z-algebras and augmentation quotients of Baumslag-Solitar groups Tobias Moede p13 27 The GAP package LiePRing Bettina Eick* and Michael Vaughan-Lee The Classification Problem in Geometry p14 3 Classifying Simplicial Dissections of Convex Polyhedra with Symmetry Anton Betten* and Tarun Mukthineni p15 6 Classification results for hyperovals of generalized quadrangles Bart De Bruyn p16 21 Isomorphism and invariants of parallelisms of projective spaces Svetlana Topalova and Stela Zhelezova* p17 23 Classification of Linear Codes by Extending Their Residuals Stefka Bouyuklieva* and Iliya Bouyukliev p18 24 The program Generation in the software package QextNewEdition Iliya Bouyukliev Polyhedral Methods in Geometry and Optimization p19 5 Algebraic polytopes in Normaliz Winfried Bruns p20 11 Real tropical hyperfaces by patchworking in polymake Michael Joswig* and Paul Vater* p21 13 Practical volume estimation of zonotopes by a new annealing schedule for cooling convex bodies Apostolos Chalkis*, Ioannis Z. Emiris and Vissarion Fisikopoulos* p22 14 Slack Ideals in Macaulay2 Antonio Macchia* and Amy Wiebe* p23 41 Hyperplane arrangements in polymake Marta Panizzut and Lars Kastner p24 46 A convex programming approach to solve posynomial systems Marianne Akian, Xavier Allamigeon*, Marin Boyet* and Stephane Gaubert Univalent Mathematics: Theory and Implementation p25 44 Equality Checking for General Type Theories in Andromeda 2 Andrej Bauer, Philipp G. Haselwarter and Anja Petković* 55 Cubical Coq Using Intensional Presheaves Loïc Pujet*, Maxime Lucas, Pierre-Marie Pédrot and Nicolas Tabareau Artificial Intelligence and Mathematical Software p33 15 Operational Research Literature as a Use Case for the Open Research Knowledge Graph Mila Runnwerth*, Markus Stocker and Sören Auer* p26 39 GeoLogic -- Graphical interactive theorem prover for Euclidean geometry Miroslav Olšák p27 40 A formalization of properties of continuous functions on closed intervals Yaoshun Fu and Wensheng Yu p28 47 Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Network Changbo Chen*, Zhangpeng Zhu and Haoyu Chi p29 49 Applying machine learning to heuristics for real polynomial constraint solving Christopher Brown* and Glenn Christopher Daves p30 53 A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs Dorian Florescu* and Matthew England* Databases in Mathematics p31 10 FunGrim: a symbolic library for special functions Fredrik Johansson Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data p32 15 Operational Research Literature as a Use Case for the Open Research Knowledge Graph Mila Runnwerth*, Markus Stocker and Sören Auer* p33 31 Making Presentation Math Computable - Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems André Greiner-Petter*, Moritz Schubotz*, Akiko Aizawa and Bela Gipp p34 48 Employing C++ Templates in the Design of a Computer Algebra Library Alexander Brandt*, Robert Moir and Marc Moreno Maza* p35 54 Mathematical World Knowledge Contained in the Multilingual Wikipedia Project Dennis Halbach p36 60 Archiving and referencing source code with Software Heritage Roberto Di Cosmo The Jupyter Environment for Computational Mathematics p37 28 Polymake.jl: A new interface to polymake Marek Kaluba*, Sascha Timme* and Benjamin Lorenz p38 34 Web based notebooks for teaching, an experience at Universidad de Zaragoza Miguel A. Marco-Buzunariz p39 36 Phase portraits of bi-dimentional Zeta Values Olivier Bouillot p40 57 Prototyping Controlled Mathematical Languages in Jupyter Notebooks Jan Frederik Schaefer*, Kai Amann and Michael Kohlhase* General Session p41 1 Method to create multiple choice exercises for computer algebra system Tatsuyoshi Hamada*, Yoshiyuki Nakagawa and Makoto Tamura p42 9 A Flow-based Programming Environment for Geometrical Construction Kento Nakamura* and Kazushi Ahara p43 19 MORLAB - A Model Order Reduction Framework in MATLAB & Octave Peter Benner and Steffen W. R. Werner* p44 35 FlexRiLoG — A SageMath Package for Motions of Graphs Georg Grasegger* and Jan Legerský* p45 37 Markov Transition Matrix Analysis of Mathematical Expression Input Models Wesley Burr*, Marco Pollanen*, Seyeon Kim, Michael Chan-Reynolds, Sohee Kang and Francis Quinby p46 45 Certifying Irreducibility in $\ZZ[x]$ John Abbott p47 58 A content dictionary for in-object comments Lars Hellström p36 60 Archiving and referencing source code with Software Heritage Roberto Di Cosmo p48 61 Implementing the tangent Graeffe root finding method Joris van der Hoeven* and Michael Monagan* Software Demos s1 8 A variant of van Hoeij's algorithm for computing hypergeometric term solutions of holonomic recurrence equations Bertrand Teguia Tabuguia s2 26 Classifying Cubic Surfaces over Finite Fields with Orbiter Anton Betten* and Fatma Karaoglu* s3 51 The QuantifierElimination Package in Maple for QE and Real Algebraic Geometry Zak Tonks s4 59 HomotopyContinuation.jl - a package for solving systems of polynomials in Julia Sascha Timme* and Paul Breiding* s5 63 Software for Generating Points Uniformly in a Convex Polytope Mark Korenblit* and Efraim Shmerling*