Mathematical Software – ICMS 2020

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases
3. Altmetric Badge
   Chapter 2 Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
4. Altmetric Badge
   Chapter 3 Chordality Preserving Incremental Triangular Decomposition and Its Implementation
5. Altmetric Badge
   Chapter 4 -Integral Points on a Mordell Curve
6. Altmetric Badge
   Chapter 5 A Numerical Approach for Computing Euler Characteristics of Affine Varieties
7. Altmetric Badge
   Chapter 6 Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set
8. Altmetric Badge
   Chapter 7 Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals
9. Altmetric Badge
   Chapter 8 Computations with Algebraic Surfaces
10. Altmetric Badge
    Chapter 9 Evaluating Fractional Derivatives of the Riemann Zeta Function
11. Altmetric Badge
    Chapter 10 Towards Efficient Normalizers of Primitive Groups
12. Altmetric Badge
    Chapter 11 Homomorphic Encryption and Some Black Box Attacks
13. Altmetric Badge
    Chapter 12 Nilpotent Quotients of Associative $$\mathbb {Z}$$ -Algebras and Augmentation Quotients of Baumslag-Solitar Groups
14. Altmetric Badge
    Chapter 13 The GAP Package LiePRing
15. Altmetric Badge
    Chapter 14 Classifying Simplicial Dissections of Convex Polyhedra with Symmetry
16. Altmetric Badge
    Chapter 15 Classification Results for Hyperovals of Generalized Quadrangles
17. Altmetric Badge
    Chapter 16 Isomorphism and Invariants of Parallelisms of Projective Spaces
18. Altmetric Badge
    Chapter 17 Classification of Linear Codes by Extending Their Residuals
19. Altmetric Badge
    Chapter 18 The Program Generation in the Software Package QextNewEdition
20. Altmetric Badge
    Chapter 19 Algebraic Polytopes in Normaliz
21. Altmetric Badge
    Chapter 20 Real Tropical Hyperfaces by Patchworking in polymake
22. Altmetric Badge
    Chapter 21 Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies
23. Altmetric Badge
    Chapter 22 Slack Ideals in Macaulay2
24. Altmetric Badge
    Chapter 23 Hyperplane Arrangements in polymake
25. Altmetric Badge
    Chapter 24 A Convex Programming Approach to Solve Posynomial Systems
26. Altmetric Badge
    Chapter 25 Equality Checking for General Type Theories in Andromeda 2
27. Altmetric Badge
    Chapter 26 GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
28. Altmetric Badge
    Chapter 27 A Formalization of Properties of Continuous Functions on Closed Intervals
29. Altmetric Badge
    Chapter 28 Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
30. Altmetric Badge
    Chapter 29 Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
31. Altmetric Badge
    Chapter 30 A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
32. Altmetric Badge
    Chapter 31 FunGrim: A Symbolic Library for Special Functions
33. Altmetric Badge
    Chapter 32 Operational Research Literature as a Use Case for the Open Research Knowledge Graph
34. Altmetric Badge
    Chapter 33 Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
35. Altmetric Badge
    Chapter 34 Employing C++ Templates in the Design of a Computer Algebra Library
36. Altmetric Badge
    Chapter 35 Mathematical World Knowledge Contained in the Multilingual Wikipedia Project
37. Altmetric Badge
    Chapter 36 Archiving and Referencing Source Code with Software Heritage
38. Altmetric Badge
    Chapter 37 Polymake.jl: A New Interface to polymake
39. Altmetric Badge
    Chapter 38 Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza
40. Altmetric Badge
    Chapter 39 Phase Portraits of Bi-dimensional Zeta Values
41. Altmetric Badge
    Chapter 40 Prototyping Controlled Mathematical Languages in Jupyter Notebooks
42. Altmetric Badge
    Chapter 41 Method to Create Multiple Choice Exercises for Computer Algebra System
43. Altmetric Badge
    Chapter 42 A Flow-Based Programming Environment for Geometrical Construction
44. Altmetric Badge
    Chapter 43 MORLAB – A Model Order Reduction Framework in MATLAB and Octave
45. Altmetric Badge
    Chapter 44 FlexRiLoG—A SageMath Package for Motions of Graphs
46. Altmetric Badge
    Chapter 45 Markov Transition Matrix Analysis of Mathematical Expression Input Models
47. Altmetric Badge
    Chapter 46 Certifying Irreducibility in $${\mathbb Z}[x]$$
48. Altmetric Badge
    Chapter 47 A Content Dictionary for In-Object Comments
49. Altmetric Badge
    Chapter 48 Implementing the Tangent Graeffe Root Finding Method