Problème de l'isomorphisme de sous-graphesvignette|Le problème est de savoir si un graphe contient un autre graphe comme sous-graphe. En informatique théorique, le problème de l'isomorphisme de sous-graphes est le problème de décision suivant : étant donnés deux graphes G et H, déterminer si G contient un sous-graphe isomorphe à H. C'est une généralisation du problème de l'isomorphisme de graphes. Soient et deux graphes. Le problème de décision de l'isomorphisme de sous-graphe est : « Est-ce qu'il existe un sous-graphe , avec et , tel qu'il existe une bijection telle que ? ».
Source-code compatibilitySource-code compatibility (source-compatible) means that a program can run on computers (or operating systems), independently of binary-code compatibility and that the source code is needed for portability. The source code must be compiled before running, unless the computer used has an interpreter for the language at hand. The term is also used for assembly language compatibility, where the source is a human-readable form of machine code that must be converted into numerical (i.e. executable) machine code by an assembler.
Lemme de YonedaEn théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet).
Fibré principalEn topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un groupe topologique. En particulier, un fibré principal est un espace fibré, mais c'est bien plus encore. Il est muni d'un groupe, le groupe structural, décrivant la manière dont les trivialisations locales se recollent entre elles. La théorie des fibrés principaux recouvre la théorie des fibrés vectoriels, de leurs orientations, de leurs structures riemanniennes, de leurs structures symplectiques, etc.
Fibré des repèresEn géométrie différentielle, un fibré des repères est un certain type de fibré principal qui correspond à un fibré vectoriel sur une variété différentielle. Les points du fibré des repères sont les repères linéaires des fibres du fibré vectoriel correspondant. L'exemple le plus commun de fibré des repères est le fibré des repères tangents correspondant au fibré tangent d'une variété différentielle.
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Sabine (région)La Sabine, en italien Sabina, est une région historique de l'Italie centrale qui tire son nom de l'ancien peuple des Sabins. Elle comprend les monts Sabins. La Sabine antique est de nos jours divisée en trois régions. Elle couvre : dans le Latium : l'entièreté de la province de Rieti et une portion de la province de Rome (Montorio Romano, Montelibretti, Moricone, Palombara Sabina, Monteflavio, Nerola) dite Sabine romaine ; en Ombrie : les territoires de Cascia, Amelia, Narni, Accumoli et Norcia ; dans les Abruzzes : la vallée de l'Aterno.
Sabinsvignette|upright=1.3|Principales communautés sabines en jaune. Les en latin classique (Σαβῖνοι en grec ancien, et Sabins en français) sont un peuple italique du groupe osco-ombrien, établi en Italie centrale, au Nord-Est de Rome, à l'époque archaïque. Leur capitale était Reate, et leur zone de peuplement correspond à la Sabine, comprise à peu près entre le Tibre supérieur, la Nera et les Apennins, correspondant aujourd'hui à la province actuelle de Rieti et à la région limitrophe de l'Aterno supérieure dans la province de L'Aquila.
Varron (écrivain)Varron (Marcus Terentius Varro) est un écrivain, savant et magistrat romain de condition équestre, né à Reate (auj. Rieti), en Sabine, en et mort en . Ses écrits, dont l'essentiel ne nous est pas parvenu, apportent quelques éclairages sur l'étymologie des mots latins et l'organisation des connaissances à Rome à la fin de la République. Il fut l'élève d'Accius et des grammairiens Aelius Stilo et Tyrannion. Leur influence apparaît dans les œuvres philologiques de Varron.
RaisonLa raison est généralement considérée comme une faculté propre de l'esprit humain dont la mise en œuvre lui permet de créer des critères de vérité et d'erreur et d'atteindre ses objectifs. Elle repose sur la capacité qu'aurait l'être humain de faire des choix en se basant sur son intelligence, ses perceptions et sa mémoire tout en faisant abstraction de ses préjugés, ses émotions ou ses pulsions. Cette faculté a donc plusieurs emplois : connaissance, éthique et technique.
BijectionEn mathématiques, une bijection ou application bijective (parfois appelée correspondances biunivoques) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédent. Une propriété des bijections est que s'il existe une bijection f d'un ensemble E dans un ensemble F alors il existe une bijection réciproque de F dans E qui à chaque élément de F associe son antécédent par f. Les deux ensembles sont dits en bijection, ou équipotents.
