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* |