Théorème de Pythagorethumb|right|alt=Triangle rectangle et relation algébrique entre les longueurs de ses côtés.|Relation entre les longueurs des côtés dans un triangle rectangle. Le théorème de Pythagore est un théorème de géométrie euclidienne qui met en relation les longueurs des côtés dans un triangle rectangle. Il s'énonce fréquemment sous la forme suivante : Si un triangle est rectangle, le carré de la longueur de l’hypoténuse (ou côté opposé à l'angle droit) est égal à la somme des carrés des longueurs des deux autres côtés.
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.
Limite (mathématiques élémentaires)La notion de limite est très intuitive malgré sa formulation abstraite. Pour les mathématiques élémentaires, il convient de distinguer une limite en un point réel fini (pour une fonction numérique) et une limite en ou (pour une fonction numérique ou une suite), ces deux cas apparemment différents pouvant être unifiés à travers la notion topologique de voisinage. Les limites servent (entre autres) à définir les notions fondamentales de continuité et de dérivabilité.
Mécanique quantique relativisteEn physique théorique, la mécanique quantique relativiste est une théorie qui tente d’unifier les postulats de la mécanique quantique non-relativiste et le principe de relativité restreinte afin de décrire la dynamique quantique d'une particule relativiste, i.e. dont la vitesse classique n'est pas très petite devant la vitesse de la lumière dans le vide. Les équations d'ondes relativistes qui généralisent l'équation de Schrödinger sont : l'équation de Klein-Gordon, qui décrit une particule massive de spin 0 ; l'équation de Dirac, qui décrit une particule massive de spin 1/2.
