Ensemble convexeUn objet géométrique est dit convexe lorsque, chaque fois qu'on y prend deux points et , le segment qui les joint y est entièrement contenu. Ainsi un cube plein, un disque ou une boule sont convexes, mais un objet creux ou bosselé ne l'est pas. On suppose travailler dans un contexte où le segment reliant deux points quelconques et a un sens (par exemple dans un espace affine sur R — en particulier dans un espace affine sur C — ou dans un ).
Topological orderIn physics, topological order is a kind of order in the zero-temperature phase of matter (also known as quantum matter). Macroscopically, topological order is defined and described by robust ground state degeneracy and quantized non-Abelian geometric phases of degenerate ground states. Microscopically, topological orders correspond to patterns of long-range quantum entanglement. States with different topological orders (or different patterns of long range entanglements) cannot change into each other without a phase transition.
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
Generalized functionIn mathematics, generalized functions are objects extending the notion of functions. There is more than one recognized theory, for example the theory of distributions. Generalized functions are especially useful in making discontinuous functions more like smooth functions, and describing discrete physical phenomena such as point charges. They are applied extensively, especially in physics and engineering. A common feature of some of the approaches is that they build on operator aspects of everyday, numerical functions.
Anneau topologiqueEn mathématiques, un anneau topologique est un anneau muni d'une topologie compatible avec les opérations internes, c'est-à-dire telle que l'addition, l'application opposée et la multiplication soient continues. Un corps topologique est un corps muni d'une topologie qui rend continues l'addition, la multiplication et l'application inverse. Ces structures étendent la notion de groupe topologique. Tous les corps de nombres usuels (rationnels, réels, complexes, p-adiques) ont une ou plusieurs topologies classiques qui en font des corps topologiques.
Groupe de CoxeterUn groupe de Coxeter est un groupe engendré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent dans de nombreux domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d'isométries de polyèdres réguliers, sont des groupes de Coxeter. Les groupes de Weyl sont d'autres exemples de groupes de Coxeter. Ces groupes sont nommés d'après le mathématicien H.S.M. Coxeter. Un groupe de Coxeter est un groupe W ayant une présentation du type: où est à valeurs dans , est symétrique () et vérifie , si .
Licence de logiciel permissivevignette|400x400px|Les licences de logiciels dans le contexte du droit d'auteur: les licences permissives - deuxième à partir de la gauche, identifiées comme licences libres non protectrices (adapté de Mark Webbink). Une licence logicielle permissive est une licence libre dans le domaine informatique. Ce type de licence se caractérise par des exigences minimales sur la manière dont un logiciel peut être redistribué. La licence MIT, les licences BSD, la licence Apple Public Source et la licence Apache sont des exemples de licences logicielles permissives.
Cône convexeEn algèbre linéaire, un cône convexe est une partie d'un espace vectoriel sur un corps ordonné qui est stable par combinaisons linéaires à coefficients strictement positifs. droite|vignette|Exemple de cône convexe (en bleu clair). À l'intérieur de celui-ci se trouve le cône convexe rouge clair qui est composé des points avec, et étant les points représentés sur la figure. Les courbes en haut à droite indiquent que les régions se prolongent à l'infini.
License compatibilityLicense compatibility is a legal framework that allows for pieces of software with different software licenses to be distributed together. The need for such a framework arises because the different licenses can contain contradictory requirements, rendering it impossible to legally combine source code from separately-licensed software in order to create and publish a new program. Proprietary licenses are generally program-specific and incompatible; authors must negotiate to combine code.
Kleinian groupIn mathematics, a Kleinian group is a discrete subgroup of the group of orientation-preserving isometries of hyperbolic 3-space H3. The latter, identifiable with PSL(2, C), is the quotient group of the 2 by 2 complex matrices of determinant 1 by their center, which consists of the identity matrix and its product by −1. PSL(2, C) has a natural representation as orientation-preserving conformal transformations of the Riemann sphere, and as orientation-preserving conformal transformations of the open unit ball B3 in R3.
