↓ Skip to main content

Mathematical Software – ICMS 2016

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 With Extreme Scale Computing the Rules Have Changed
  3. Altmetric Badge
    Chapter 2 Some Wellfounded Trees in UniMath
  4. Altmetric Badge
    Chapter 3 Exercising Nuprl’s Open-Endedness
  5. Altmetric Badge
    Chapter 4 Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover
  6. Altmetric Badge
    Chapter 5 Towards the Automatic Discovery of Theorems in GeoGebra
  7. Altmetric Badge
    Chapter 6 Automating Free Logic in Isabelle/HOL
  8. Altmetric Badge
    Chapter 7 Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT
  9. Altmetric Badge
    Chapter 8 Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
  10. Altmetric Badge
    Chapter 9 Automated Deduction in Ring Theory
  11. Altmetric Badge
    Chapter 10 Agent-Based HOL Reasoning
  12. Altmetric Badge
    Chapter 11 An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
  13. Altmetric Badge
    Chapter 12 Bad Primes in Computational Algebraic Geometry
  14. Altmetric Badge
    Chapter 13 The Subdivision of Large Simplicial Cones in Normaliz
  15. Altmetric Badge
    Chapter 14 Extending Singular with New Types and Algorithms
  16. Altmetric Badge
    Chapter 15 3D Printing Dimensional Calibration Shape: Clebsch Cubic
  17. Altmetric Badge
    Chapter 16 Decomposing Solution Sets of Polynomial Systems Using Derivatives
  18. Altmetric Badge
    Chapter 17 Calibration of Accelerometers and the Geometry of Quadrics
  19. Altmetric Badge
    Chapter 18 On the Feasibility of Semi-algebraic Sets in Poisson Regression
  20. Altmetric Badge
    Chapter 19 Combinatorial and Geometric View of the System Reliability Theory
  21. Altmetric Badge
    Chapter 20 Need Polynomial Systems Be Doubly-Exponential?
  22. Altmetric Badge
    Chapter 21 On the Implementation of CGS Real QE
  23. Altmetric Badge
    Chapter 22 Common Divisors of Solvable Polynomials in JAS
  24. Altmetric Badge
    Chapter 23 An Online Computing and Knowledge Platform for Differential Equations
  25. Altmetric Badge
    Chapter 24 SIROCCO: A Library for Certified Polynomial Root Continuation
  26. Altmetric Badge
    Chapter 25 An Implementation of Exact Mixed Volume Computation
  27. Altmetric Badge
    Chapter 26 Primary Decomposition in Singular
  28. Altmetric Badge
    Chapter 27 Border Basis for Polynomial System Solving and Optimization
  29. Altmetric Badge
    Chapter 28 Recursive Double-Size Fixed Precision Arithmetic
  30. Altmetric Badge
    Chapter 29 CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
  31. Altmetric Badge
    Chapter 30 On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and z
  32. Altmetric Badge
    Chapter 31 Parallelization of the FICO Xpress-Optimizer
  33. Altmetric Badge
    Chapter 32 PolySCIP
  34. Altmetric Badge
    Chapter 33 Advanced Computing and Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers
  35. Altmetric Badge
    Chapter 34 DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian Matrices
  36. Altmetric Badge
    Chapter 35 Software for Cut-Generating Functions in the Gomory–Johnson Model and Beyond
  37. Altmetric Badge
    Chapter 36 Mixed Integer Nonlinear Program for Minimization of Akaike’s Information Criterion
  38. Altmetric Badge
    Chapter 37 PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite
  39. Altmetric Badge
    Chapter 38 A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers
  40. Altmetric Badge
    Chapter 39 CindyJS
  41. Altmetric Badge
    Chapter 40 CindyJS Plugins
  42. Altmetric Badge
    Chapter 41 Generating Data for 3D Models
  43. Altmetric Badge
    Chapter 42 The Actual Use of in Education
  44. Altmetric Badge
    Chapter 43 Cooperation of KeTCindy and Computer Algebra System
  45. Altmetric Badge
    Chapter 44 CindyGL: Authoring GPU-Based Interactive Mathematical Content
  46. Altmetric Badge
    Chapter 45 Theoretical Physics, Applied Mathematics and Visualizations
  47. Altmetric Badge
    Chapter 46 What is and How to Use – Linkage Between Dynamic Geometry Software and Graphics Capabilities –
  48. Altmetric Badge
    Chapter 47 How to Generate Figures at the Preferred Position of a TeX Document
  49. Altmetric Badge
    Chapter 48 The Programming Style for Drawings from to
  50. Altmetric Badge
    Chapter 49 The Software Portal swMATH: A State of the Art Report and Next Steps
  51. Altmetric Badge
    Chapter 50 The polymake XML File Format
  52. Altmetric Badge
    Chapter 51 Semantic-Aware Fingerprints of Symbolic Research Data
  53. Altmetric Badge
    Chapter 52 Linking Mathematical Software in Web Archives
  54. Altmetric Badge
    Chapter 53 Mathematical Models: A Research Data Category?
  55. Altmetric Badge
    Chapter 54 Mathematical Research Data and Information Services
  56. Altmetric Badge
    Chapter 55 Stam’s Identities Collection: A Case Study for Math Knowledge Bases
  57. Altmetric Badge
    Chapter 56 The GDML and EuKIM Projects: Short Report on the Initiative
  58. Altmetric Badge
    Chapter 57 Math-Net.Ru Video Library: Creating a Collection of Scientific Talks
  59. Altmetric Badge
    Chapter 58 The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
  60. Altmetric Badge
    Chapter 59 The Effort to Realize a Global Digital Mathematics Library
  61. Altmetric Badge
    Chapter 60 Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
  62. Altmetric Badge
    Chapter 61 Mathematical Videos and Affiliated Supplementaries in TIB’s AV Portal
  63. Altmetric Badge
    Chapter 62 Complexity of Integration, Special Values, and Recent Developments
  64. Altmetric Badge
    Chapter 63 An Algorithm to Find the Link Constrained Steiner Tree in Undirected Graphs
  65. Altmetric Badge
    Chapter 64 The Pycao Software for 3D-Modelling
  66. Altmetric Badge
    Chapter 65 Normal Forms for Operators via Gröbner Bases in Tensor Algebras
  67. Altmetric Badge
    Chapter 66 Robust Construction of the Additively-Weighted Voronoi Diagram via Topology-Oriented Incremental Algorithm
  68. Altmetric Badge
    Chapter 67 Mathematical Font Art
Attention for Chapter 20: Need Polynomial Systems Be Doubly-Exponential?
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
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
Need Polynomial Systems Be Doubly-Exponential?
Chapter number 20
Book title
Mathematical Software – ICMS 2016
Published in
Lecture notes in computer science, July 2016
DOI 10.1007/978-3-319-42432-3_20
Book ISBNs
978-3-31-942431-6, 978-3-31-942432-3
Authors

James H. Davenport, Matthew England

Editors

Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Professor 2 67%
Student > Postgraduate 1 33%
Readers by discipline Count As %
Mathematics 2 67%
Computer Science 1 33%