Expression names

[denisrosset]

Expressions names are only meant to be used for names that have been used widely in the literature.

When adding expressions to the canonical database, new names are always appended to existing names.

Example:

I3322 is also known as the Froissart inequality Sliwa #10 is also known as the Guess Your Neighbor Input inequality, because the GYNI concept is referenced several times Names should not be used to indicate mere properties of an inequality (its use as a dimension witness, or as a multipartite entanglement witness, ...)

[denisrosset]

Here we have to balance between two constraints:

• the names for e.g. CHSH should not proliferate when a popular expression is used in many contexts (hidden nonlocality, self-testing, and so on)
• popular designations should be shown in the canonical form of an expression

First historical appearance gives a natural candidate for the name of a new expression. New names should be added after consideration.

[denisrosset]

Keywords can be used to designate membership to an inequality family.

[jdbancal]

Markdown pages and comments on the inequalities are the most appropriate venues to discuss applications of the inequalities in various contexts.