TI-Nspirethumb|TI-Nspire avec clickpad amovible. thumb|TI-Nspire CAS avec clickpad fixe. thumb|TI-Nspire avec Touchpad. thumb|TI-Nspire CAS avec Touchpad. thumb|TI-Nspire CX. thumb|TI-Nspire CX CAS. La ligne de produits TI-Nspire est une série de calculatrices graphiques développée par Texas Instruments (TI). Cette ligne comprend actuellement la TI-Nspire originale, la TI-Nspire CAS, la TI-Nspire CX et la TI-Nspire CX CAS. Il existe également des logiciels pour Windows et Mac OS X permettant de simuler les calculatrices et de créer/éditer des fichiers qui pourront y être lus.
TI-BasicTI-Basic est le nom du langage de programmation des calculatrices graphiques Texas Instruments (Depuis lors remplacé officiellement par le langage Python sur les derniers modèles). Par sa philosophie et ses capacités, ce langage se rapproche du BASIC, d'où son nom. Cependant, sa syntaxe est substantiellement différente de celle du BASIC. Le TI-Basic des calculatrices basées sur le Motorola 68000 (« 68 K ») (TI89) n'est pas le même que celui des calculatrices basées sur le Z80 (TI-83,TI-84).
Fibré des repèresEn géométrie différentielle, un fibré des repères est un certain type de fibré principal qui correspond à un fibré vectoriel sur une variété différentielle. Les points du fibré des repères sont les repères linéaires des fibres du fibré vectoriel correspondant. L'exemple le plus commun de fibré des repères est le fibré des repères tangents correspondant au fibré tangent d'une variété différentielle.
TI-83La TI-83 est une calculatrice graphique programmable commercialisée par Texas Instruments. Elle possède de nombreuses fonctionnalités, parmi lesquelles des graphes de fonctions, modes polaire/paramétrique/séquentiel, des fonctions statistiques, trigonométriques et algébriques. La TI-83 est une mise à jour de la TI-82. Elle est la première calculatrice TI à supporter d'office le langage assembleur. En effet, la TI-85 et la TI-82 supportent l'assembleur, mais seulement après leur avoir envoyé une sauvegarde spéciale (hackée) de la mémoire.
TI-92La TI-92 est une calculatrice graphique programmable commercialisée par Texas Instruments à partir de 1995. Elle dispose de deux fonctionnalités extrêmement novatrices à l'époque : un logiciel de calcul formel et un logiciel de géométrie interactive, ce qui lui vaut à sa sortie des critiques élogieuses. La TI-92 Plus puis la Voyage 200 sont des évolutions de la TI-92 sorties respectivement en 1998 et 2002 qui introduisent un matériel amélioré et de nouvelles fonctionnalités logicielles.
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.
Valeur propre, vecteur propre et espace propreEn mathématiques, et plus particulièrement en algèbre linéaire, le concept de vecteur propre est une notion algébrique s'appliquant à une application linéaire d'un espace dans lui-même. Il correspond à l'étude des axes privilégiés, selon lesquels l'application se comporte comme une dilatation, multipliant les vecteurs par une même constante. Ce rapport de dilatation est appelé valeur propre, les vecteurs auxquels il s'applique s'appellent vecteurs propres, réunis en un espace propre.
Variété de StiefelEn mathématiques, les différentes variétés de Stiefel sont les espaces obtenus en considérant comme des points l'ensemble des familles orthonormales de k vecteurs de l'espace euclidien de dimension n. Ils possèdent une structure naturelle de variété ce qui permet de donner leurs propriétés au plan de la topologie globale, de la géométrie ou des aspects algébriques. Ce sont des exemples d'espace homogène sous l'action des groupes classiques de la géométrie.
Formule de Gauss-Bonnetvignette|Exemple d'une surface à laquelle le théorème de Gauss-Bonnet peut être appliqué En géométrie différentielle, la formule de Gauss-Bonnet est une propriété reliant la géométrie (au sens de la courbure de Gauss) et la topologie (au sens de la caractéristique d'Euler) des surfaces. Elle porte le nom des mathématiciens Carl Friedrich Gauss, qui avait conscience d'une version du théorème, mais ne la publia jamais, et Pierre Ossian Bonnet, qui en publia un cas particulier en 1848.
Décomposition d'une matrice en éléments propresEn algèbre linéaire, la décomposition d'une matrice en éléments propres est la factorisation de la matrice en une forme canonique où les coefficients matriciels sont obtenus à partir des valeurs propres et des vecteurs propres. Un vecteur non nul v à N lignes est un vecteur propre d'une matrice carrée A à N lignes et N colonnes si et seulement si il existe un scalaire λ tel que : où λ est appelé valeur propre associée à v. Cette dernière équation est appelée « équation aux valeurs propres ».
