Arrondi (mathématiques)Arrondir un nombre consiste à le remplacer par un autre nombre considéré comme plus simple ou plus pertinent. Ce procédé s'appelle arrondissage ou arrondissement et le nombre obtenu est un arrondi. Le résultat est moins précis, mais plus facile à employer. Il y a plusieurs façons d'arrondir. En général, on arrondit un nombre en en donnant une valeur approchée obtenue à partir de son développement décimal en réduisant le nombre de chiffres significatifs. L'arrondi peut se faire au plus proche, par excès ou par défaut.
Arithmétique multiprécisionL'arithmétique multiprécision désigne l'ensemble des techniques mises en œuvre pour manipuler dans un programme informatique des nombres (entiers, rationnels, ou flottants principalement) de taille arbitraire. Il s'agit d'une branche de l'arithmétique des ordinateurs. On oppose l'arithmétique multi-précision à l'arithmétique en simple ou double précision, comme celle spécifiée par le standard IEEE 754 pour les nombres flottants.
Problème de réseauIn computer science, lattice problems are a class of optimization problems related to mathematical objects called lattices. The conjectured intractability of such problems is central to the construction of secure lattice-based cryptosystems: Lattice problems are an example of NP-hard problems which have been shown to be average-case hard, providing a test case for the security of cryptographic algorithms. In addition, some lattice problems which are worst-case hard can be used as a basis for extremely secure cryptographic schemes.
Plus petit commun multipleEn mathématiques, et plus précisément en arithmétique, le plus petit commun multiple – en abrégé PPCM – (peut s'appeler aussi PPMC, soit « plus petit multiple commun ») de deux entiers non nuls a et b est le plus petit entier strictement positif qui soit multiple de ces deux nombres. On le note a ∨ b ou PPCM(a, b), ou parfois simplement [a, b]. On peut également définir le PPCM de a et b comme un multiple commun de a et de b qui divise tous les autres.
Nombre de LiouvilleEn mathématiques, et plus précisément en théorie des nombres, un nombre de Liouville est un nombre réel x ayant la propriété suivante :pour tout entier n, il existe des entiers q > 1 et p tels que 0 < |x – p/q| < 1/q ou, ce qui est équivalent : pour tout entier n et tout réel , il existe des entiers q > 0 et p tels que 0 < |x – p/q| < A/q. Un nombre de Liouville peut ainsi être approché « de manière très fine » par une suite de nombres rationnels.
Division par zéroLa division par zéro consiste à chercher le résultat qu'on obtiendrait en prenant zéro comme diviseur. Ainsi, une division par zéro s'écrirait x/0, où x serait le dividende (ou numérateur). Dans les définitions usuelles de la multiplication, cette opération n'a pas de sens : elle contredit notamment la définition de la multiplication en tant que seconde loi de composition d'un corps, car zéro (l'élément neutre de l'addition) est un élément absorbant pour la multiplication. La division par zéro donne l'infini.
Lemme de SiegelEn approximation diophantienne, le lemme de Siegel est un théorème d'existence d'une solution non nulle et de grandeur contrôlée à un système d'équations linéaires homogène à coefficients entiers (relatifs) ayant strictement plus d'inconnues que d'équations. Il est d'usage courant dans les démonstrations de transcendance. Les solutions ainsi contrôlées sont obtenues à l'aide de . L'existence de ces polynômes avait été démontrée par Axel Thue grâce au principe des tiroirs de Dirichlet.
Partie entière et partie fractionnaireright|thumb|Représentation graphique en escalier de la fonction « partie entière ». En mathématiques et en informatique, la partie entière par défaut, ou partie entière inférieure, en général abrégée en partie entière tout court, d'un nombre réel est l'unique entier relatif (positif, négatif ou nul) tel que On démontre son existence et son unicité par analyse-synthèse : est le plus grand entier relatif inférieur ou égal à (ce que l'on peut prendre comme définition équivalente de la partie entière de , voir ci-dessous), son existence étant garantie par la propriété d'Archimède.
Suite de SylvesterEn théorie des nombres, la suite de Sylvester est une suite d'entiers telle que chaque terme est le produit de tous les termes précédents augmenté de 1, en partant d'un terme initial égal à 2. Les premiers termes de la suite sont : 2 ; 3 ; 7 ; 43 ; ; ; ; (Voir la ). En hommage à la démonstration par Euclide de l'infinitude des nombres premiers, les termes de cette suite sont aussi parfois appelés "nombres d'Euclide". La suite de Sylvester doit son nom à James Joseph Sylvester qui, le premier, étudia ses propriétés dans les années 1880.
