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.
Processus stationnairePour accéder aux propriétés essentielles d'un signal physique il peut être commode de le considérer comme une réalisation d'un processus aléatoire (voir quelques précisions dans Processus continu). Le problème est largement simplifié si le processus associé au signal peut être considéré comme un processus stationnaire, c'est-à-dire si ses propriétés statistiques caractérisées par des espérances mathématiques sont indépendantes du temps.
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èmeUn système est un ensemble d' interagissant entre eux selon certains principes ou règles. Par exemple une molécule, le système solaire, une ruche, une société humaine, un parti, une armée etc. Un système est déterminé par : sa frontière, c'est-à-dire le critère d'appartenance au système (déterminant si une entité appartient au système ou fait au contraire partie de son environnement) ; ses interactions avec son environnement ; ses fonctions (qui définissent le comportement des entités faisant partie du système, leur organisation et leurs interactions) ; Certains systèmes peuvent également avoir une mission (ses objectifs et sa raison d'être) ou des ressources, qui peuvent être de natures différentes (humaine, naturelle, matérielle, immatérielle.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Théorème de TykhonovLe théorème de Tychonov (ou Tychonoff) est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. Il a été publié en 1930 par le mathématicien russe Andreï Nikolaïevitch Tikhonov. Il a plusieurs applications en topologie algébrique et différentielle, particulièrement en analyse fonctionnelle, pour la preuve du théorème de Banach-Alaoglu-Bourbaki et le compactifié de Stone-Čech.
Théorème du point fixe de LefschetzEn mathématiques, le théorème du point fixe de Lefschetz est une formule qui compte le nombre de points fixes d'une application continue d'un espace compact X dans lui-même en utilisant les traces des endomorphismes qu'elle induit sur l'homologie de X. Il est nommé d'après Solomon Lefschetz qui l'a démontré en 1926. Chaque point fixe est compté avec sa multiplicité. Une version faible du théorème suffit à démontrer qu'une application qui n'a aucun point fixe doit vérifier certaines propriétés particulières (comme une rotation du cercle).
EutectiqueUn eutectique (du grec εὔτηκτος -eútēktos- : qui fond aisément) est un mélange de deux ou plusieurs corps purs qui fondent et se solidifient à température constante de manière uniforme, contrairement aux mélanges habituels où le changement de température conduit à une variation de la proportion de solide par rapport à celle de liquide. Il se comporte en fait comme un corps pur du point de vue de la fusion. Le terme « eutectique » désigne aussi le point du diagramme de phase (mélange avec une proportion donnée) pour lequel le mélange est à sa température minimale en phase liquide.
Nombre de RayleighLe nombre de Rayleigh () est un nombre sans dimension utilisé en mécanique des fluides et caractérisant le transfert de chaleur au sein d'un fluide : inférieur à une valeur critique de l'ordre de , le transfert s'opère uniquement par conduction, tandis qu'au-delà de cette valeur la convection libre ou naturelle devient prépondérante. Ce nombre porte le nom de Lord Rayleigh, physicien anglais.
Solution (chimie)Une solution, en chimie, est un mélange homogène (constitué d'une seule phase) résultant de la dissolution d'un ou plusieurs soluté(s) (espèce chimique dissoute) dans un solvant. Les molécules (ou les ions) de soluté sont alors solvatées et dispersées dans le solvant. La solution liquide est l'exemple le plus connu. Une solution ayant l'eau comme solvant est appelée solution aqueuse. Il est possible de mettre en solution : un liquide dans un autre : limité par la miscibilité des deux liquides ; un solide dans un liquide : limité par la solubilité du solide dans le solvant, au-delà de laquelle le solide n'est plus dissous.
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.
PorositéLa porosité est l'ensemble des vides (pores) d'un matériau, ces vides sont remplis par des fluides (liquides ou gaz). Les matériaux poreux sont très généralement des solides, mais il existe aussi des liquides poreux. La porosité est aussi une grandeur physique définie comme le rapport entre le volume des vides et le volume total d'un milieu poreux, sa valeur est comprise entre 0 et 1 (ou, en pourcentage, entre 0 et 100 %) : où : est la porosité, le volume des pores, et le volume total du matériau, c'est-à-dire la somme du volume de solide et du volume des pores.
