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.
Convergence simpleEn mathématiques, la convergence simple ou ponctuelle est une notion de convergence dans un espace fonctionnel, c’est-à-dire dans un ensemble de fonctions entre deux espaces topologiques. C'est une définition peu exigeante : elle est plus facile à établir que d'autres formes de convergence, notamment la convergence uniforme. Le passage à la limite possède donc moins de propriétés : une suite de fonctions continues peut ainsi converger simplement vers une fonction qui ne l'est pas.
Noyau de la chaleurEn mathématiques, le noyau de la chaleur est une fonction de Green (également appelée solution élémentaire) de l'équation de la chaleur sur un domaine spécifié, avec éventuellement des conditions aux limites appropriées. C'est aussi un des outils principaux de l'étude du spectre du laplacien. Le noyau de la chaleur représente l'évolution de la température égale à une unité de chaleur en un point au temps initial.
Compact convergenceIn mathematics compact convergence (or uniform convergence on compact sets) is a type of convergence that generalizes the idea of uniform convergence. It is associated with the compact-open topology. Let be a topological space and be a metric space. A sequence of functions is said to converge compactly as to some function if, for every compact set , uniformly on as . This means that for all compact , If and with their usual topologies, with , then converges compactly to the constant function with value 0, but not uniformly.
Transfert thermiquevignette|alt=Autour d'un feu, des mains reçoivent sa chaleur par rayonnement (sur le côté), par convection (au-dessus de ses flammes) et par conduction (à travers un ustensile en métal).|Les modes de transfert thermique ( en anglais pour « rayonnement »). Un transfert thermique, appelé plus communément chaleur, est l'un des modes d'échange d'énergie interne entre deux systèmes, l'autre étant le travail : c'est un transfert d'énergie thermique qui s'effectue hors de l'équilibre thermodynamique.
Espace polonaisEn mathématiques, un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout sous-espace fermé ou ouvert d'un espace polonais, tout produit dénombrable d'espaces polonais, tout espace de Banach séparable est un espace polonais. Cette terminologie a été introduite par le groupe Bourbaki, dans le volume sur la topologie générale de ses Éléments de mathématique.
Rayon de convergenceLe rayon de convergence d'une série entière est le nombre réel positif ou +∞ égal à la borne supérieure de l'ensemble des modules des nombres complexes où la série converge (au sens classique de la convergence simple): Si R est le rayon de convergence d'une série entière, alors la série est absolument convergente sur le disque ouvert D(0, R) de centre 0 et de rayon R. Ce disque est appelé disque de convergence. Cette convergence absolue entraine ce qui est parfois qualifié de convergence inconditionnelle : la valeur de la somme en tout point de ce disque ne dépend pas de l'ordre des termes.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Université de JordanieL’université de Jordanie (en arabe : ar) est une université publique située à Amman, en Jordanie. Fondée en 1962, elle est la plus grande université du pays. L'université compte plus de étudiants inscrits, dont 12 % sont des étudiants étrangers. Elle est classée par le U.S. News & World Report au du classement régional 2016 des universités arabes. L'université a été créée en 1962 par un décret royal dans le nord de Amman à cette époque. Les alentours de l'université est l'un des districts métropolitains de Amman et est appelé le district de Université.
JourdainLe Jourdain (en arabe : نهر الأردن Nahr al-Urdun qui veut dire descendre, en hébreu ירד Yarad, mais aussi נהר הירדן, Nehar haYarden qui veut dire la « Rivière de la Peine, du Jugement ») est un fleuve du Moyen-Orient qui s'écoule sur 360 km du mont Hermon au Liban jusqu'à la mer Morte. Sa vallée est la plus basse du monde, puisqu'il se jette dans la mer Morte à l'altitude de 421 mètres sous le niveau des océans. La Jordanie et les hauteurs du Golan bordent le fleuve à l'est, tandis que la Cisjordanie et Israël se trouvent à l'ouest.
Hô Chi Minh-VilleHô Chi Minh-Ville ou Hồ Chí Minh-Ville ou (Thành phố Hồ Chí Minh ), encore souvent appelée Saïgon (Sài Gòn ), qui fut le nom officiel jusqu'en 1975, est la plus grande ville du Viêt Nam et son poumon économique, devant la capitale Hanoï. Hô Chi Minh-Ville, dont le statut correspond à celui d'une province vietnamienne, se divise en dix-neuf arrondissements et cinq districts possédant une superficie de pour une population de (2015) dans une région qui en compte 21 millions (2020). Elle se trouve sur les rives de la rivière de Saïgon.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
