Table of Contents

• A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner BasesNoriyuki Horigome, Akira Terui, Masahiko Mikawa. 3-13 [doi]
• Curtains in CAD: Why Are They a Problem and How Do We Fix Them?Akshar Nair, James H. Davenport, Gregory Sankaran. 17-26 [doi]
• Chordality Preserving Incremental Triangular Decomposition and Its ImplementationChangbo Chen. 27-36 [doi]
• [inline-graphic not available: see fulltext]-Integral Points on a Mordell CurveFrancesca Bianchi. 39-50 [doi]
• A Numerical Approach for Computing Euler Characteristics of Affine VarietiesXiaxin Li, Jose Israel Rodriguez, Botong Wang. 51-60 [doi]
• Evaluating and Differentiating a Polynomial Using a Pseudo-witness SetJonathan D. Hauenstein, Margaret H. Regan. 61-69 [doi]
• Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric IntegralsSaiei-Jaeyeong Matsubara-Heo, Nobuki Takayama. 73-84 [doi]
• Computations with Algebraic SurfacesAndreas-Stephan Elsenhans, Jörg Jahnel. 87-93 [doi]
• Evaluating Fractional Derivatives of the Riemann Zeta FunctionRicky E. Farr, Sebastian Pauli, Filip Saidak. 94-101 [doi]
• Towards Efficient Normalizers of Primitive GroupsSergio Siccha. 105-114 [doi]
• Homomorphic Encryption and Some Black Box AttacksAlexandre V. Borovik, Sükrü Yalçinkaya. 115-124 [doi]
• Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar GroupsTobias Moede. 125-130 [doi]
• The GAP Package LiePRingBettina Eick, Michael R. Vaughan-Lee. 131-140 [doi]
• Classifying Simplicial Dissections of Convex Polyhedra with SymmetryAnton Betten, Tarun Mukthineni. 143-152 [doi]
• Classification Results for Hyperovals of Generalized QuadranglesBart De Bruyn. 153-161 [doi]
• Isomorphism and Invariants of Parallelisms of Projective SpacesSvetlana Topalova, Stela Zhelezova. 162-172 [doi]
• Classification of Linear Codes by Extending Their ResidualsStefka Bouyuklieva, Iliya Bouyukliev. 173-180 [doi]
• The Program Generation in the Software Package QextNewEditionIliya Bouyukliev. 181-189 [doi]
• Algebraic Polytopes in NormalizWinfried Bruns. 193-201 [doi]
• Real Tropical Hyperfaces by Patchworking in polymakeMichael Joswig, Paul Vater. 202-211 [doi]
• Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex BodiesApostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos. 212-221 [doi]
• Slack Ideals in Macaulay2Antonio Macchia, Amy Wiebe. 222-231 [doi]
• Hyperplane Arrangements in polymakeLars Kastner, Marta Panizzut. 232-240 [doi]
• A Convex Programming Approach to Solve Posynomial SystemsMarianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert. 241-250 [doi]
• Equality Checking for General Type Theories in Andromeda 2Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic. 253-259 [doi]
• GeoLogic - Graphical Interactive Theorem Prover for Euclidean GeometryMiroslav Olsák. 263-271 [doi]
• A Formalization of Properties of Continuous Functions on Closed IntervalsYaoshun Fu, Wensheng Yu. 272-280 [doi]
• Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural NetworksChangbo Chen, Zhangpeng Zhu, Haoyu Chi. 281-291 [doi]
• Applying Machine Learning to Heuristics for Real Polynomial Constraint SolvingChristopher W. Brown, Glenn Christopher Daves. 292-301 [doi]
• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial InputsDorian Florescu, Matthew England. 302-311 [doi]
• FunGrim: A Symbolic Library for Special FunctionsFredrik Johansson 0001. 315-323 [doi]
• Operational Research Literature as a Use Case for the Open Research Knowledge GraphMila Runnwerth, Markus Stocker, Sören Auer. 327-334 [doi]
• Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra SystemsAndré Greiner-Petter, Moritz Schubotz, Akiko Aizawa, Bela Gipp. 335-341 [doi]
• Employing C++ Templates in the Design of a Computer Algebra LibraryAlexander Brandt, Robert H. C. Moir, Marc Moreno Maza. 342-352 [doi]
• Mathematical World Knowledge Contained in the Multilingual Wikipedia ProjectDennis Tobias Halbach. 353-361 [doi]
• Archiving and Referencing Source Code with Software HeritageRoberto Di Cosmo. 362-373 [doi]
• Polymake.jl: A New Interface to polymakeMarek Kaluba, Benjamin Lorenz, Sascha Timme. 377-385 [doi]
• Web Based Notebooks for Teaching, an Experience at Universidad de ZaragozaMiguel Ángel Marco Buzunáriz. 386-392 [doi]
• Phase Portraits of Bi-dimensional Zeta ValuesOlivier Bouillot. 393-405 [doi]
• Prototyping Controlled Mathematical Languages in Jupyter NotebooksJan Frederik Schaefer, Kai Amann, Michael Kohlhase. 406-415 [doi]
• Method to Create Multiple Choice Exercises for Computer Algebra SystemTatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura. 419-425 [doi]
• A Flow-Based Programming Environment for Geometrical ConstructionKento Nakamura, Kazushi Ahara. 426-431 [doi]
• MORLAB - A Model Order Reduction Framework in MATLAB and OctavePeter Benner, Steffen W. R. Werner. 432-441 [doi]
• FlexRiLoG - A SageMath Package for Motions of GraphsGeorg Grasegger, Jan Legerský. 442-450 [doi]
• Markov Transition Matrix Analysis of Mathematical Expression Input ModelsFrancis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr. 451-461 [doi]
• Certifying Irreducibility in ℤ[x]John Abbott. 462-472 [doi]
• A Content Dictionary for In-Object CommentsLars Hellström. 473-481 [doi]
• Implementing the Tangent Graeffe Root Finding MethodJoris van der Hoeven, Michael B. Monagan. 482-492 [doi]