Equivariant cohomologyIn mathematics, equivariant cohomology (or Borel cohomology) is a cohomology theory from algebraic topology which applies to topological spaces with a group action. It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, the equivariant cohomology ring of a space with action of a topological group is defined as the ordinary cohomology ring with coefficient ring of the homotopy quotient : If is the trivial group, this is the ordinary cohomology ring of , whereas if is contractible, it reduces to the cohomology ring of the classifying space (that is, the group cohomology of when G is finite.
Brown's representability theoremIn mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the Hotc of pointed connected CW complexes, to the Set, to be a representable functor. More specifically, we are given F: Hotcop → Set, and there are certain obviously necessary conditions for F to be of type Hom(—, C), with C a pointed connected CW-complex that can be deduced from alone. The statement of the substantive part of the theorem is that these necessary conditions are then sufficient.
GerbeIn mathematics, a gerbe (dʒɜrb; ʒɛʁb) is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry.
Site (mathématiques)En théorie des catégories, une branche des mathématiques, une topologie de Grothendieck est une structure sur une catégorie permettant de voir certains objets de comme les ensembles ouverts d'un espace topologique. Une catégorie munie d'une topologie de Grothendieck est appelée un site. Une topologie de Grothendieck axiomatise la notion de recouvrement d'un espace topologique par des ouverts. Cela permet de généraliser la définition de faisceaux, et leur cohomologie, à un site quelconque.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Spectre (topologie)En topologie algébrique, une branche des mathématiques, un spectre est un objet représentant une théorie cohomologique généralisée (qui découle du ). Cela signifie que, étant donné une théorie de cohomologie,il existe des espaces tels que l'évaluation de la théorie cohomologique en degré sur un espace équivaut à calculer les classes d'homotopie des morphismes à l'espace , soit encore.Remarquons qu'il existe plusieurs catégories de spectres différentes conduisant à de nombreuses difficultés techniques, mais ils déterminent tous la même , connue sous le nom de catégorie d'homotopie stable.
Encyclopédie en ligne des suites de nombres entiersL'encyclopédie en ligne des suites de nombres entiers (originellement en anglais On-Line Encyclopedia of Integer Sequences, couramment abrégé sous le sigle OEIS) est un site web permettant d'effectuer gratuitement des recherches parmi une base de données de suites d'entiers présentant un intérêt mathématique ou parfois simplement ludique. Dans cette forme et cette présentation, c'est la plus grande du monde (en 2012). Elle est consultée des milliers de fois chaque jour.
Suite (mathématiques)vignette|Exemple de suite : les points bleus représentent ses termes. En mathématiques, une suite est une famille d'éléments — appelés ses « termes » — indexée par les entiers naturels. Une suite finie est une famille indexée par les entiers strictement positifs inférieurs ou égaux à un certain entier, ce dernier étant appelé « longueur » de la suite. Lorsque tous les éléments d'une suite (infinie) appartiennent à un même ensemble , cette suite peut être assimilée à une application de dans .
Système de calcul formelUn système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique. Les expressions peuvent être : des polynômes avec de multiples variables ; des fonctions (fonctions trigonométriques, exponentielle, etc.) ; des fonctions spéciales (gamma, zêta, erf, Bessel, etc.
MuPADMuPAD est un logiciel de calcul formel propriétaire développé initialement par un groupe de recherche de l'université de Paderborn. En 1997, la société SciFace Software GmbH & Co. KG a repris son développement en coopération avec le groupe de développeurs initial ainsi qu'avec des partenaires d'autres universités. En 2008, la société SciFace Software GmbH & Co a été acquise par The MathWorks, éditeur du logiciel MATLAB. MuPAD est depuis intégré comme composant de la boîte à outils Symbolic Math Toolbox de MATLAB.
