Algorithme de recherche de valeur propreUn problème important en analyse numérique consiste à développer des algorithmes efficaces et stables pour trouver les valeurs propres d'une matrice. Ces algorithmes de recherche de valeurs propres peuvent être étendus pour donner les vecteurs propres associés. Valeur propre, vecteur propre et espace propre Pour une matrice carrée A de taille n × n réelle ou complexe, une valeur propre λ et son vecteur propre généralisé associé v sont un couple vérifiant la relation où v est un vecteur colonne n × 1 non nul, I la matrice identité de taille n × n, k un entier positif.
Vitesse de déformationEn mécanique des milieux continus, on considère la déformation d'un élément de matière au sein d'une pièce. On s'attache donc à décrire ce qui se passe localement et non pas d'un point de vue global, et à utiliser des paramètres indépendants de la forme de la pièce. La vitesse de déformation que l'on considère est donc la dérivée par rapport au temps de la déformation ε ; on la note donc (« epsilon point ») : Elle s'exprime en s−1, parfois en %/s. C'est un des paramètres capitaux en rhéologie.
Tenseur symétriqueUn tenseur d'ordre 2 est dit symétrique si la forme bilinéaire associée est symétrique. Un tenseur d'ordre 2 étant défini par rapport à un certain espace vectoriel, on peut y choisir des vecteurs de base et le tenseur est alors représenté par une matrice de composantes . Une définition équivalente à la précédente consiste à dire que la matrice est symétrique, c'est-à-dire que : pour tout couple d'indices i et j, car cette propriété reste inchangée si l'on change de base.
Operator theoryIn mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis. If a collection of operators forms an algebra over a field, then it is an operator algebra.
Spectre d'un opérateur linéaireEn mathématiques, plus précisément en analyse fonctionnelle, le spectre d'un opérateur linéaire sur un espace vectoriel topologique est l'ensemble de ses valeurs spectrales. En dimension finie, cet ensemble se réduit à l'ensemble des valeurs propres de cet endomorphisme, ou de sa matrice dans une base. En et en mécanique quantique, la notion de spectre s'étend aux opérateurs non bornés fermés. Soit une algèbre de Banach unifère sur le corps des nombres complexes.
Environnement de bureauEn informatique, un environnement de bureau (de l'anglais desktop environment) est un logiciel (ensemble de programmes) qui permet de manier l'ordinateur à travers une interface utilisateur qui se présente en mode graphique (graphical shell) sous l'aspect d'un bureau. Il s'agit d'un type d'environnement graphique où le terme « environnement de bureau » provient de la métaphore du bureau, sur laquelle sont fondés ces produits. De nombreux systèmes d'exploitation ont un environnement de bureau incorporé.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Cinnamon (logiciel)Cinnamon (du nom de la cannelle en anglais) est un environnement de bureau, initialement développé par (et pour) Linux Mint. Il s'agit d'un fork de GNOME Shell, qui se veut plus proche de la métaphore du bureau (avec par exemple un menu présentant les applications classées par catégories, plutôt qu'une liste d'icônes) délaissée par GNOME 3.0. Liste des applications spécifiques à Cinnamon : Nemo, gestionnaire de fichiers dérivé de Nautilus ; Muffin, gestionnaire de fenêtres dérivé de Mutter ; Arch Linux Cubu
Budgie (logiciel)Budgie est un environnement de bureau qui utilise les technologies GNOME telles que GTK+. Il est développé par le projet Solus ainsi que par des contributeurs provenant de nombreuses communautés comme openSUSE Tumbleweed, Arch Linux et Ubuntu Budgie. En septembre 2021, le fondateur du projet annonce que du fait de désaccords trop profonds avec la direction prise par le projet GNOME et sa librairie GTK, Budgie 11 sera basé sur la librairie graphique EFL.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
