Parti vertUn Parti vert est un parti politique organisé formellement et dont le programme est basé sur les principes de la politique écologique, tels que l'écologisme, la justice sociale et le pacifisme. Les Verts pensent que ces sujets sont intrinsèquement liés. Les Partis verts ont très souvent un programme économique social-démocratique et forment souvent des alliances avec des partis de gauche. Des Partis verts existent dans près de 90 pays à travers le monde. Beaucoup d'entre eux sont membres des Verts mondiaux.
Coalition rouge-verte (Allemagne)Une coalition rouge-verte (rot-grüne Koalition) ou verte-rouge (grün-roten Koalition) est un type de coalition gouvernementale unissant en Allemagne le Parti social-démocrate d'Allemagne (SPD), dont la couleur est le rouge, et l'Alliance 90 / Les Verts (Grünen). L'entente entre les sociaux-démocrates et les écologistes apparaît dans les années 1980 en Hesse puis à Berlin-Ouest. Elle se révèle initialement instable, les deux premiers exécutifs rouges-verts n'allant pas au terme de leurs mandats.
Arithmétique du second ordreEn logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels. Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. L'arithmétique de second ordre a pour conséquence les théorèmes de l'arithmétique de Peano (du premier ordre), mais elle est à la fois plus forte et plus expressive que celle-ci.
CORDICCORDIC (sigle de COordinate Rotation DIgital Computer, « calcul numérique par rotation de coordonnées ») est un algorithme de calcul des fonctions trigonométriques et hyperboliques, notamment utilisé dans les calculatrices. Il a été décrit pour la première fois en 1959 par Jack E. Volder. Il ressemble à des techniques qui avaient été décrites par Henry Briggs en 1624. Il s'agit d'un algorithme de choix lorsque aucune implantation matérielle d'un multiplicateur n'est disponible (sur certains microcontrôleurs simples ou des FPGA).
Ordinal arithmeticIn the mathematical field of set theory, ordinal arithmetic describes the three usual operations on ordinal numbers: addition, multiplication, and exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set that represents the result of the operation or by using transfinite recursion. Cantor normal form provides a standardized way of writing ordinals. In addition to these usual ordinal operations, there are also the "natural" arithmetic of ordinals and the nimber operations.
