Recherche d'un dictionnaire de notation mathématique / CS

Il existe un éventail parfois vertigineux de symboles utilisés dans les documents mathématiques et CS. Pourtant, beaucoup supposent une familiarité de base qui semble rarement enseignée au même endroit. Je cherche un dictionnaire quelque chose comme le suivant, en particulier du point de vue CS.

• Il énumérerait tous les symboles mathématiques de base et donnerait leur signification et leurs exemples. Il parlerait de symboles qui sont parfois utilisés de manière équivalente. Il noterait les erreurs courantes des débutants.
• Il parlerait des subtilités entourant différentes significations d'un même symbole (un peu comme plusieurs définitions du même mot dans un dictionnaire).
• Ce ne serait pas simplement une description très concise de chaque symbole, comme des descriptions d'un mot comme "sous-ensemble".
• Cela montrerait comment les symboles sont parfois "surchargés". Par exemple, $\binom{x}{y}$ pourrait avoir $z$ comme entier, mais parfois $z$ peut être un ensemble avec cette notation et cela signifie choisir des éléments de cet ensemble. $[n]$ signifie parfois un ensemble d'entiers $1 \ldots n$ , ou d'autres fois c'est un tableau à un élément.
• Il pourrait parler de la façon de décrire toutes sortes de différents "objets" en termes de symboles différents ou de façons équivalentes de s'y référer (mais qui sont plus claires) et des opérations possibles sur ces objets. En d'autres termes, un peu comme une API pour les objets mathématiques.

C'est-à-dire que ce serait aussi parfois un "manuel de style" pour différentes nuances dans la façon de présenter l'écriture mathématique. Ce serait une ressource très utile pour quiconque rédige des questions dans des échanges de piles mathématiques, où de nombreuses questions n'ont pas de sens car elles ne correspondent pas aux conventions mathématiques délicates.

Certaines introductions de livres présentent bon nombre de ces caractéristiques. cependant, idéalement, ce serait un traitement distinct. En outre, idéalement, bien sûr, ce serait en ligne. Il existe des tableaux de symboles en latex, mais ils ne remplissent pas vraiment bon nombre des critères ci-dessus.

Quelqu'un a-t-il vu un "dictionnaire de symboles" correspondant à ces caractéristiques?

(Alternativement, cela semble être un excellent projet wiki ou FAQ si de bonnes références comme celle-ci n'existent pas.)

Vous pouvez utiliser cette feuille . Il a beaucoup de formules pratiques et quelques définitions.

Vous pouvez également utiliser la liste de symboles mathématiques de Wikipédia proposée par Kyle Jones dans les commentaires.

Il y a aussi Worfram MathWorld qui est une excellente ressource, mais vous devez savoir ce que vous recherchez.

En ce qui concerne les ressources imprimées, chaque volume de The Art of Computer Programming a une grande référence de notations mathématiques, en particulier le volume 1.

Connaître le nom secret de quelque chose, c'est voler sa puissance. - Dr Daniel Jackson

Pour les moments où nous ne pouvons que dessiner le symbole et vouloir un nom.

Voir: shapecatcher

Vous dessinez le symbole et s'il y a un caractère unicode pour lui, il le trouvera et vous donnera un nom. S'il y en a beaucoup comme =, il affichera de nombreux résultats.

Ensuite, c'est juste une question de googler.

Prendre plaisir!

Aux références des autres réponses pour la notation mathématique et les symboles, je voudrais ajouter une référence pour l'utilisation mathématique des mots anglais.

Le Handbook of Mathematical Discourse est un dictionnaire de mots et d'expressions utilisés dans l'écriture mathématique semi-formelle, en particulier des mots comme «où» et «tous» qui sont utilisés très différemment de l'écriture non mathématique.