Condition aux limites de DirichletEn mathématiques, une condition aux limites de Dirichlet (nommée d’après Johann Dirichlet) est imposée à une équation différentielle ou à une équation aux dérivées partielles lorsque l'on spécifie les valeurs que la solution doit vérifier sur les frontières/limites du domaine. Pour une équation différentielle, par exemple : la condition aux limites de Dirichlet sur l'intervalle s'exprime par : où et sont deux nombres donnés.
Fonction transcendanteEn mathématiques, une fonction ou une série formelle est dite transcendante si elle n'est pas algébrique, c'est-à-dire si elle n'est pas solution d'une équation polynomiale à coefficients polynomiaux par rapport à ses arguments. Cette notion est donc, au même titre que celle de nombre transcendant, un cas particulier de celle d'élément transcendant d'une algèbre sur un anneau commutatif, l'algèbre et l'anneau considérés étant ici soit les fonctions de certaines variables (à valeurs dans un anneau commutatif R) et les fonctions polynomiales en ces variables (à coefficients dans R), soit les séries formelles et les polynômes (en une ou plusieurs indéterminées).
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Astronomie en rayons Xvignette|redresse=2|Les rayons X couvrent le domaine allant d'environ , auquel l'atmosphère est opaque. L’astronomie en (souvent abrégée en ) est la branche de l'astronomie qui consiste à étudier l'émission des objets célestes en . Puisque le est absorbé par l'atmosphère de la Terre, les instruments doivent être envoyés à haute altitude à l'aide de ballons et désormais de fusées. L' fait donc aujourd'hui partie de la recherche spatiale, les détecteurs étant placés à bord de satellites.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
RusseLe russe (autonyme : русский язык, translittération ISO 9 : russkij âzyk, ) est une langue appartenant au groupe des langues slaves orientales de la famille des langues indo-européennes, auquel appartiennent aussi l'ukrainien et le biélorusse. Il compte plus de de locuteurs (comme langue maternelle ou langue seconde). Il est la langue officielle de la fédération de Russie et l'une des langues officielles des républiques de Biélorussie, du Kazakhstan et du Kirghizistan, langue de communication au sein de la Communauté des États indépendants (CEI), dominante dans certaines régions d'Ukraine (notamment le Sud et l'Est ukrainien ainsi que la capitale Kiev).
Fonction bêtathumb|Variations de la fonction bêta pour les valeurs positives de x et y En mathématiques, la fonction bêta est une des deux intégrales d'Euler, définie pour tous nombres complexes x et y de parties réelles strictement positives par : et éventuellement prolongée analytiquement à tout le plan complexe à l'exception des entiers négatifs. La fonction bêta a été étudiée par Euler et Legendre et doit son nom à Jacques Binet. Elle est en relation avec la fonction gamma.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Union des républiques socialistes soviétiquesL'Union des républiques socialistes soviétiques, abrégé en URSS ou Union soviétique (en russe Союз Советских Социалистических Республик, СССР ; transcription : Soïouz Sovietskikh Sotsialistitcheskikh Riespoublik, SSSR ; « Union des républiques socialistes des conseils »), était un État fédéral transcontinental à régime communiste. Cette fédération a existé de sa proclamation le à sa dissolution le .
Série de DirichletEn mathématiques, une série de Dirichlet est une série f(s) de fonctions définies sur l'ensemble C des nombres complexes, et associée à une suite (a) de nombres complexes de l'une des deux façons suivantes : Ici, la suite (λ) est réelle, positive, strictement croissante et non bornée. Le domaine de convergence absolue d'une série de Dirichlet est soit un demi-plan ouvert de C, limité par une droite dont tous les points ont même abscisse, soit l'ensemble vide, soit C tout entier. Le domaine de convergence simple est de même nature.
Politique écologiquevignette|Logo du parti « Écologistes de Grèce ». La politique écologique (ou politique verte) est considérée par ses partisans comme une option politique distincte de celles des partis de gauche comme de droite, en cela que les partis verts proposent, pour assurer la protection de l'environnement, des mesures politiques peu semblables à celles des politiciens plus conventionnels.
Convolution de DirichletEn mathématiques, la convolution de Dirichlet, encore appelée produit de convolution de Dirichlet ou produit de Dirichlet est une loi de composition interne définie sur l'ensemble des fonctions arithmétiques, c'est-à-dire des fonctions définies sur les entiers strictement positifs et à valeurs dans les nombres complexes. Cette loi de convolution est utilisée en arithmétique, aussi bien algébrique qu'analytique. On la trouve aussi pour résoudre des questions de dénombrement.
