Récursivement énumérableEn théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si : il existe un algorithme qui prend un entier naturel en entrée, et qui s'arrête exactement sur les entiers de ; ou, de manière équivalente : il existe un procédé algorithmique qui, au cours de son fonctionnement, énumère en sortie tous les entiers de et seulement ceux-ci (il est possible, et même nécessaire quand est infini, qu'il ne s'arrête pas).
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Calcul ombralEn mathématiques, le calcul ombral est le nom d'un ensemble de techniques de calcul formel qui, avant les années 1970, était plutôt appelé calcul symbolique. Il s'agit de l'étude des similarités surprenantes entre certaines formules polynomiales a priori non reliées entre elles, et d'un ensemble de règles de manipulation (au demeurant assez peu claires) pouvant être utilisées pour les obtenir (mais non les démontrer).
Matrices semblablesEn mathématiques, deux matrices carrées A et B sont dites semblables s'il existe une matrice inversible P telle que . La similitude est une relation d'équivalence. Deux matrices sont semblables si et seulement si elles représentent le même endomorphisme d'un espace vectoriel dans deux bases (éventuellement) différentes. Il ne faut pas confondre la notion de matrices semblables avec celle de matrices équivalentes. En revanche, si deux matrices sont semblables, alors elles sont équivalentes.
Economic lot scheduling problemLe problème connu sous le nom de economic lot scheduling problem (ELSP) est un problème du domaine de la recherche opérationnelle. Le terme est utilisé pour décrire un cas dérivé de la formule de Wilson : Celui-ci est seulement concerné avec la quantité optimale d'un produit à commander pour le ré-approvisionnement d'un magasin. Avec ELSP, la machine de production peut fabriquer plusieurs produits, un type de produit à la fois. La question est de savoir quelle quantité de quel produit il fait produire, et dans quel ordre les produits doivent être fabriqués.
Problème du vendeur de journauxLe problème dit « problème du vendeur de journaux » est un modèle mathématique simple en recherche opérationnelle (microéconomie) concernant le volume économiquement optimal du stock d’un bien qui sera proposé à une demande aléatoire. L’analyse de ce problème académique montre que, lorsque des phénomènes stochastiques interviennent dans les données d’un problème d’optimisation, le fait de remplacer ces variables aléatoires par leurs espérances respectives dénature les résultats et conduit à une sous-optimisation.
