Sciences numériquesLes sciences numériques (traduction de l'anglais computational sciences), autrement dénommées calcul scientifique ou informatique scientifique, ont pour objet la construction de modèles mathématiques et de méthodes d'analyse quantitative, en se basant sur l'utilisation des sciences du numérique, pour analyser et résoudre des problèmes scientifiques. Cette approche scientifique basée sur un recours massif aux modélisations informatiques et mathématiques et à la simulation se décline en : médecine numérique, biologie numérique, archéologie numérique, mécanique numérique, par exemple.
Maximum a posterioriL'estimateur du maximum a posteriori (MAP), tout comme la méthode du maximum de vraisemblance, est une méthode pouvant être utilisée afin d'estimer un certain nombre de paramètres inconnus, comme les paramètres d'une densité de probabilité, reliés à un échantillon donné. Cette méthode est très liée au maximum de vraisemblance mais en diffère toutefois par la possibilité de prendre en compte un a priori non uniforme sur les paramètres à estimer.
Arithmétique du second ordreEn logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels. Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. L'arithmétique de second ordre a pour conséquence les théorèmes de l'arithmétique de Peano (du premier ordre), mais elle est à la fois plus forte et plus expressive que celle-ci.
Suite arithmétiqueEn mathématiques, une suite arithmétique est une suite (le plus souvent une suite de réels) dans laquelle chaque terme permet de déduire le suivant en lui ajoutant une constante appelée raison. Cette définition peut s'écrire sous la forme d'une relation de récurrence, pour chaque indice n : Cette relation est caractéristique de la progression arithmétique ou croissance linéaire. Elle décrit bien les phénomènes dont la variation est constante au cours du temps, comme l'évolution d'un compte bancaire à intérêts simples.
Comparaisons des logiciels d'analyse numériqueLes tables suivantes présente des comparaisons des logiciels d'analyse numérique. Systèmes d'exploitation sur lesquels le logiciel peut s'exécuter sans émulation. Les couleurs indique pour chaque caractéristique, si elle est : L'analyse numérique nécessite souvent des calculs intensifs, des études sont souvent menées pour classer les langages suivant leurs performances. Comparaison de logiciels d'apprentissage profond Comparaison de logiciels de statistiques analyse numérique Catégorie:Logiciel de calcul n
Definable real numberInformally, a definable real number is a real number that can be uniquely specified by its description. The description may be expressed as a construction or as a formula of a formal language. For example, the positive square root of 2, , can be defined as the unique positive solution to the equation , and it can be constructed with a compass and straightedge. Different choices of a formal language or its interpretation give rise to different notions of definability.
