↓ Skip to main content

Mathematical Software – ICMS 2018

Overview of attention for book
Cover of 'Mathematical Software – ICMS 2018'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Inferring Safe Maude Programs with ÁTAME
  3. Altmetric Badge
    Chapter 2 Finding a Middle Ground for Computer-Aided Cryptography
  4. Altmetric Badge
    Chapter 3 Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials
  5. Altmetric Badge
    Chapter 4 Paramotopy: Parameter Homotopies in Parallel
  6. Altmetric Badge
    Chapter 5 DiscreteZOO: Towards a Fingerprint Database of Discrete Objects
  7. Altmetric Badge
    Chapter 6 A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors)
  8. Altmetric Badge
    Chapter 7 Classifying Cubic Surfaces over Finite Fields Using Orbiter
  9. Altmetric Badge
    Chapter 8 How Fast Can We Compute Orbits of Groups?
  10. Altmetric Badge
    Chapter 9 A Rainbow Clique Search Algorithm for BLT-Sets
  11. Altmetric Badge
    Chapter 10 Numerical Software to Compute Newton Polytopes
  12. Altmetric Badge
    Chapter 11 On the Interference Problem for Ellipsoids: Experiments and Applications
  13. Altmetric Badge
    Chapter 12 Efficient Computation of Squarefree Separator Polynomials
  14. Altmetric Badge
    Chapter 13 libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfaces
  15. Altmetric Badge
    Chapter 14 Plotting Planar Implicit Curves and Its Applications
  16. Altmetric Badge
    Chapter 15 Software Products, Software Versions, Archiving of Software, and swMATH
  17. Altmetric Badge
    Chapter 16 Axl, a Geometric Modeler for Semi-algebraic Shapes
  18. Altmetric Badge
    Chapter 17 Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian Groups
  19. Altmetric Badge
    Chapter 18 NLP-Based Detection of Mathematics Subject Classification
  20. Altmetric Badge
    Chapter 19 NLP and Large-Scale Information Retrieval on Mathematical Texts
  21. Altmetric Badge
    Chapter 20 Machine Learning for Mathematical Software
  22. Altmetric Badge
    Chapter 21 A New Style of Mathematical Proof
  23. Altmetric Badge
    Chapter 22 Neural Ideals in SageMath
  24. Altmetric Badge
    Chapter 23 Universal Gröbner Basis for Parametric Polynomial Ideals
  25. Altmetric Badge
    Chapter 24 Certifying Reality of Projections
  26. Altmetric Badge
    Chapter 25 3BA: A Border Bases Solver with a SAT Extension
  27. Altmetric Badge
    Chapter 26 The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography
  28. Altmetric Badge
    Chapter 27 Questions on Orbital Graphs
  29. Altmetric Badge
    Chapter 28 Implementation of a Near-Optimal Complex Root Clustering Algorithm
  30. Altmetric Badge
    Chapter 29 Towards a Unified Ordering for Superposition-Based Automated Reasoning
  31. Altmetric Badge
    Chapter 30 Numerical Integration in Arbitrary-Precision Ball Arithmetic
  32. Altmetric Badge
    Chapter 31 New Counts for the Number of Triangulations of Cyclic Polytopes
  33. Altmetric Badge
    Chapter 32 Estimating Tropical Principal Components Using Metropolis Hasting Algorithm
  34. Altmetric Badge
    Chapter 33 Mathematics Classroom Collaborator (MC2): Technology for Democratizing the Classroom
  35. Altmetric Badge
    Chapter 34 Software Citation in Theory and Practice
  36. Altmetric Badge
    Chapter 35 Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design
  37. Altmetric Badge
    Chapter 36 Image Analysis: Identification of Objects via Polynomial Systems
  38. Altmetric Badge
    Chapter 37 Resultants, Implicit Parameterizations, and Intersections of Surfaces
  39. Altmetric Badge
    Chapter 38 Fitting a Sphere via Gröbner Basis
  40. Altmetric Badge
    Chapter 39 Homotopy Continuation in Macaulay2
  41. Altmetric Badge
    Chapter 40 Solving Polynomial Systems Using Numeric Gröbner Bases
  42. Altmetric Badge
    Chapter 41 The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs
  43. Altmetric Badge
    Chapter 42 Francy - An Interactive Discrete Mathematics Framework for GAP
  44. Altmetric Badge
    Chapter 43 Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation
  45. Altmetric Badge
    Chapter 44 TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics
  46. Altmetric Badge
    Chapter 45 Collaborative Use of Mathematical Content Generated by CindyJS on Tablets
  47. Altmetric Badge
    Chapter 46 A Novel Dynamic Mathematics System Based on the Internet
  48. Altmetric Badge
    Chapter 47 polyTop: Software for Computing Topology of Smooth Real Surfaces
  49. Altmetric Badge
    Chapter 48 Solving the Likelihood Equations to Compute Euler Obstruction Functions
  50. Altmetric Badge
    Chapter 49 IntegerSequences: A Package for Computing with k-Regular Sequences
  51. Altmetric Badge
    Chapter 50 A User-Friendly Hybrid Sparse Matrix Class in C++
  52. Altmetric Badge
    Chapter 51 Intelligent Editor for Authoring Educational Materials in Mathematics e-Learning Systems
  53. Altmetric Badge
    Chapter 52 Recent Developments in Cayley Hash Functions
  54. Altmetric Badge
    Chapter 53 Mathematical Research Data, Software, Models, and the Publication-Based Approach
  55. Altmetric Badge
    Chapter 54 HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia
  56. Altmetric Badge
    Chapter 55 Polynomial Constraints and Unsat Cores in Tarski
  57. Altmetric Badge
    Chapter 56 Private-Key Fully Homomorphic Encryption for Private Classification
  58. Altmetric Badge
    Chapter 57 On $$\mu $$μ-Symmetric Polynomials and D-Plus
  59. Altmetric Badge
    Chapter 58 Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random Assignments
  60. Altmetric Badge
    Chapter 59 Intuitive Interface for Solving Linear and Nonlinear System of Equations
Attention for Chapter 53: Mathematical Research Data, Software, Models, and the Publication-Based Approach
Altmetric Badge

Citations

dimensions_citation
8 Dimensions
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.
Chapter title
Mathematical Research Data, Software, Models, and the Publication-Based Approach
Chapter number 53
Book title
Mathematical Software – ICMS 2018
Published by
Springer, Cham, July 2018
DOI 10.1007/978-3-319-96418-8_53
Book ISBNs
978-3-31-996417-1, 978-3-31-996418-8
Authors

Wolfram Sperber, Sperber, Wolfram