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*