↓ Skip to main content

Mathematical Software – ICMS 2020

Overview of attention for book
Cover of '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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
31 tweeters
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mathematical Software – ICMS 2020
Published by
Springer International Publishing, September 2020
DOI 10.1007/978-3-030-52200-1
ISBNs
978-3-03-052199-8, 978-3-03-052200-1
Editors

Bigatti, Anna Maria, Carette, Jacques, Davenport, James H., Joswig, Michael, de Wolff, Timo

Twitter Demographics

The data shown below were collected from the profiles of 31 tweeters who shared this research output. Click here to find out more about how the information was compiled.