Projective unitary groupIn mathematics, the projective unitary group PU(n) is the quotient of the unitary group U(n) by the right multiplication of its center, U(1), embedded as scalars. Abstractly, it is the holomorphic isometry group of complex projective space, just as the projective orthogonal group is the isometry group of real projective space. In terms of matrices, elements of U(n) are complex n×n unitary matrices, and elements of the center are diagonal matrices equal to eiθ multiplied by the identity matrix.
Sphère de Blochvignette|droite|L'état d'un système à deux niveaux, tel qu'un spin 1/2 ou plus généralement un qubit, peut être représenté par un point sur une sphère. La sphère de Bloch, du nom du physicien et mathématicien Félix Bloch, ou sphère de Poincaré (comme cas d'application de celle-ci), est une représentation géométrique d'un état pur d'un système quantique à deux niveaux ; c'est donc, entre autres, une représentation d'un qubit. Il est possible de généraliser la construction de cette sphère à un système à niveaux.
Polynôme minimal d'un endomorphismeLe polynôme minimal est un outil qui permet d'utiliser en algèbre linéaire des résultats de la théorie des polynômes. Il est en effet possible d'appliquer un polynôme à un endomorphisme, comme expliqué dans l'article intérêt du concept de polynôme d'endomorphisme. Il est défini comme le polynôme unitaire (son coefficient de plus haut degré est égal à 1) de plus petit degré qui annule un endomorphisme, c'est-à-dire une application linéaire d'un espace vectoriel dans lui-même.
Groupe spécial unitaireEn mathématiques, le groupe spécial unitaire de E, où E est un espace hermitien, est le groupe des automorphismes unitaires de E de déterminant 1, la loi de composition interne considérée étant la composition d’automorphismes. Il est noté SU(E). C’est un sous-groupe de U(E), le groupe unitaire des automorphismes de E. De manière générale, on peut définir le groupe spécial unitaire d'une forme sesquilinéaire hermitienne complexe non dégénérée, ou d'une forme sesquilinéaire hermitienne ou antihermitienne non dégénérée sur un espace vectoriel de dimension finie sur certains corps (commutatifs ou non) relativement à une involution.
Licence libreUne licence libre est une licence s'appliquant à une œuvre de l'esprit par laquelle l'auteur concède tous les droits ou une partie des droits que lui confère le droit d'auteur, en laissant au minimum quatre droits considérés fondamentaux aux utilisateurs : usage de l'œuvre ; étude de l'œuvre pour en comprendre le fonctionnement ou l'adapter à ses besoins ; modification (amélioration, extension et transformation) ou incorporation de l'œuvre en une œuvre dérivée ; redistribution de l'œuvre, c'est-à-dire sa di
Smoke testing (software)In computer programming and software testing, smoke testing (also confidence testing, sanity testing, build verification test (BVT) and build acceptance test) is preliminary testing or sanity testing to reveal simple failures severe enough to, for example, reject a prospective software release. Smoke tests are a subset of test cases that cover the most important functionality of a component or system, used to aid assessment of whether main functions of the software appear to work correctly.
Élément maximalDans un ensemble ordonné, un élément maximal est un élément tel qu'il n'existe aucun autre élément de cet ensemble qui lui soit supérieur, c'est-à-dire que a est dit élément maximal d'un ensemble ordonné (E, ≤) si a est un élément de E tel que : De même, a est un élément minimal de E si : Pour tout élément a de E, on a les équivalences et l'implication (stricte) : a est un majorant de E ⇔ a est la borne supérieure de E ⇔ a est l'élément maximum (ou « plus grand élément ») de E ⇒ a est l'unique élément maxima
Système de suivi des bugsUn système de suivi des bugs (de l'anglais bug tracking system) est un logiciel qui permet d'effectuer un suivi des bugs signalés dans le cadre d'un projet de développement de logiciel. Il permet d'aider les utilisateurs et les développeurs à améliorer la qualité d'un logiciel. Les utilisateurs soumettent leurs demandes d'assistance dans le logiciel. Les développeurs sont alors toujours au fait des bugs rencontrés.
UnixUnix, officiellement UNIX, est une famille de systèmes d'exploitation multitâche et multi-utilisateur dérivé du Unix d'origine créé par AT&T, le développement de ce dernier ayant commencé dans les années 1970 au centre de recherche de Bell Labs mené par Kenneth Thompson. Il repose sur un interpréteur ou superviseur (le shell) et de nombreux petits utilitaires, accomplissant chacun une action spécifique, commutables entre eux (mécanisme de « redirection ») et appelés depuis la ligne de commande.
Perl (langage)Perl est un langage de programmation créé par Larry Wall en 1987 pour traiter facilement de l'information de type textuel. Ce langage, interprété, s'inspire des structures de contrôle et d'impression du langage C, mais aussi de langages de scripts sed, awk et shell (sh). Il prend en charge les expressions régulières dans sa syntaxe même, permettant ainsi directement des actions sur l'aspect général de séquences de texte. Une association, The Perl Foundation, s'occupe de son devenir, et entre autres de son éventuel passage de la version 5.
