Dérivée covarianteEn géométrie différentielle, la dérivée covariante est un outil destiné à définir la dérivée d'un champ de vecteurs sur une variété. Dans le cas où la dérivée covariante existe, il n'existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont introduites. (Cela est faux quand la dérivée covariante n'existe pas en revanche ).
Convergence simpleEn mathématiques, la convergence simple ou ponctuelle est une notion de convergence dans un espace fonctionnel, c’est-à-dire dans un ensemble de fonctions entre deux espaces topologiques. C'est une définition peu exigeante : elle est plus facile à établir que d'autres formes de convergence, notamment la convergence uniforme. Le passage à la limite possède donc moins de propriétés : une suite de fonctions continues peut ainsi converger simplement vers une fonction qui ne l'est pas.
Truncated order-7 triangular tilingIn geometry, the order-7 truncated triangular tiling, sometimes called the hyperbolic soccerball, is a semiregular tiling of the hyperbolic plane. There are two hexagons and one heptagon on each vertex, forming a pattern similar to a conventional soccer ball (truncated icosahedron) with heptagons in place of pentagons. It has Schläfli symbol of t{3,7}. This tiling is called a hyperbolic soccerball (football) for its similarity to the truncated icosahedron pattern used on soccer balls.
Compact convergenceIn mathematics compact convergence (or uniform convergence on compact sets) is a type of convergence that generalizes the idea of uniform convergence. It is associated with the compact-open topology. Let be a topological space and be a metric space. A sequence of functions is said to converge compactly as to some function if, for every compact set , uniformly on as . This means that for all compact , If and with their usual topologies, with , then converges compactly to the constant function with value 0, but not uniformly.
Portable Document FormatLe Portable Document Format, communément abrégé en PDF, est un langage de description de page présenté par la société Adobe Systems en 1992 et qui est devenu une norme ISO en 2008. La spécificité du PDF est de préserver la mise en page d’un document telle qu'elle a été définie par son auteur, et cela quels que soient le logiciel, le système d'exploitation et l'ordinateur utilisés pour l’imprimer ou le visualiser. Le Portable Document Format qui se traduit de l'anglais en « format de document portable », généralement abrégé en PDF, est un format de fichier informatique créé par Adobe Systems.
AnglaisLanglais (English ; prononcé : ) est une langue indo-européenne germanique originaire d'Angleterre qui tire ses racines de langues du nord de l'Europe (terre d'origine des Angles, des Saxons et des Frisons) dont le vocabulaire a été enrichi et la syntaxe et la grammaire modifiées par le français anglo-normand, apporté par les Normands, puis par le français avec les Plantagenêt. La langue anglaise est ainsi composée d'environ 29 % de mots d'origine normande et française et plus des deux tiers de son vocabulaire proviennent du français ou du latin.
Microsoft WordMicrosoft Word est un logiciel de traitement de texte publié par Microsoft. La version la plus récente est Word 2021. Sa première version a été distribuée en 1983 sous le nom de Multi-Tool Word (« Multi-Outil de traitement de texte ») pour le système d'exploitation Xenix qui était une version du système Unix à la fin des années 1970. Des versions ultérieures furent écrites pour plusieurs autres plates-formes dont IBM PC sous système d’exploitation DOS en 1983, Apple Macintosh en 1984, SCO UNIX, OS/2 et les premières versions Windows en 1989.
Anglais standardL’anglais standard peut désigner n’importe quelle variété de la langue anglaise acceptée comme langue standard nationale dans les pays anglophones, du point de vue tant de la prononciation que de la grammaire, du lexique et de l’orthographe. Dans les îles Britanniques, particulièrement en Angleterre et au Pays de Galles, il est souvent associé à l’accent de la « Received Pronunciation » (qui comporte plusieurs variantes), à la grammaire et au lexique dits United Kingdom Standard English (UKSE : « anglais standard du Royaume-Uni »).
Microsoft OfficeMicrosoft Office est une suite bureautique propriété de la société Microsoft qui fonctionne avec les plates-formes fixes et mobiles. Elle s'installe sur ordinateur et fournit une suite de logiciels comme : Word, Excel, PowerPoint, OneNote, Outlook, Access et/ou Publisher selon les suites choisies. Microsoft Office propose une version web qui s'utilise directement en ligne depuis un navigateur web.
Anglais britanniqueL'expression « anglais britannique » (en anglais : British English) est employée de façon plus ou moins précise pour différencier les variétés de la langue anglaise employées au Royaume-Uni des autres variétés de l'anglais à travers le monde. Ce terme comprend toutes les variétés présentes au Royaume-Uni, c'est-à-dire en Angleterre, en Écosse, en Irlande du Nord et au Pays de Galles. Parfois, le terme est employé de façon plus large par certaines personnes qui comptent également la République d'Irlande.
Anglais internationalAnglais international (en anglais international English) est l'expression employée pour décrire la langue anglaise pratiquée par de nombreux locuteurs, non nécessairement anglophones, à travers le monde. Cette expression désigne aussi les variantes de l'anglais parlées à travers le monde ou encore une variante qui serait voulue comme anglais de référence. Il s'agit d'un exemple de langue anglaise simplifiée construite spontanément et ne violant pas les règles de l'anglais classique.
Microsoft WorksMicrosoft Works est un intégré bureautique édité par Microsoft sous licence propriétaire payante. Commercialisé entre 1988 et 2007, il était souvent fourni lors de l'achat d'un ordinateur, destiné à une utilisation non professionnelle. Il contenait comme modules principaux : un traitement de texte qui comprend toutes les fonctions essentielles, la vérification orthographique, la vérification grammaticale, l'utilisation de dictionnaires, l'insertion d'images, de caractères spéciaux, de formules mathématiques, le publipostage, l'édition d'enveloppes, d'étiquettes, etc.
