An automatic inequality prover and instance optimal identity testing (Q2968159)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6693786
Language Label Description Also known as
default for all languages
No label defined
    English
    An automatic inequality prover and instance optimal identity testing
    scientific article; zbMATH DE number 6693786

      Statements

      An Automatic Inequality Prover and Instance Optimal Identity Testing (English)
      0 references
      0 references
      0 references
      10 March 2017
      0 references
      property testing
      0 references
      inequality prover
      0 references
      instance optimality
      0 references
      identity testing
      0 references
      Hölder's inequality
      0 references
      chi-squared test
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references