Analyse numériqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique. Elle s’intéresse tant aux fondements qu’à la mise en pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Plus formellement, l’analyse numérique est l’étude des algorithmes permettant de résoudre numériquement par discrétisation les problèmes de mathématiques continues (distinguées des mathématiques discrètes).
Calcul numérique d'une intégraleEn analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une variable sur un intervalle). Ces techniques procèdent en trois phases distinctes : Décomposition du domaine en morceaux (un intervalle en sous-intervalles contigus) ; Intégration approchée de la fonction sur chaque morceau ; Sommation des résultats numériques ainsi obtenus.
Trou noiralt=|vignette|Le disque d'accrétion du trou noir M87* imagé par l'en. Le trou noir lui-même est invisible, au centre de la zone noire centrale. En astrophysique, un trou noir est un objet céleste si compact que l'intensité de son champ gravitationnel empêche toute forme de matière ou de rayonnement de s'en échapper. De tels objets ne peuvent ni émettre, ni diffuser la lumière et sont donc noirs, ce qui en astronomie revient à dire qu'ils sont optiquement invisibles.
Stabilité numériqueEn analyse numérique, une branche des mathématiques, la stabilité numérique est une propriété globale d’un algorithme numérique, une qualité nécessaire pour espérer obtenir des résultats ayant du sens. Une définition rigoureuse de la stabilité dépend du contexte. Elle se réfère à la propagation des erreurs au cours des étapes du calcul, à la capacité de l’algorithme de ne pas trop amplifier d’éventuels écarts, à la précision des résultats obtenus. Le concept de stabilité ne se limite pas aux erreurs d’arrondis et à leurs conséquences.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Probabilistic numericsProbabilistic numerics is an active field of study at the intersection of applied mathematics, statistics, and machine learning centering on the concept of uncertainty in computation. In probabilistic numerics, tasks in numerical analysis such as finding numerical solutions for integration, linear algebra, optimization and simulation and differential equations are seen as problems of statistical, probabilistic, or Bayesian inference.
Trou noir supermassifvignette|En haut : vue d'artiste d’un trou noir supermassif absorbant la matière environnante. En bas : images supposées d'un trou noir dévorant une étoile dans la galaxie . Photo en avec le télescope Chandra à gauche ; photo optique prise par le VLT de l'ESO à droite. Un trou noir supermassif (TNSM) est un trou noir dont la masse est de l'ordre d'un million de masses solaires ou plus. Il constitue l’un des quatre types de trous noirs avec les trous noirs primordiaux, les trous noirs stellaires, les trous noirs intermédiaires.
Numerical methods for linear least squaresNumerical methods for linear least squares entails the numerical analysis of linear least squares problems. A general approach to the least squares problem can be described as follows. Suppose that we can find an n by m matrix S such that XS is an orthogonal projection onto the image of X. Then a solution to our minimization problem is given by simply because is exactly a sought for orthogonal projection of onto an image of X (see the picture below and note that as explained in the next section the image of X is just a subspace generated by column vectors of X).
Numerical methods for ordinary differential equationsNumerical methods for ordinary differential equations are methods used to find numerical approximations to the solutions of ordinary differential equations (ODEs). Their use is also known as "numerical integration", although this term can also refer to the computation of integrals. Many differential equations cannot be solved exactly. For practical purposes, however – such as in engineering – a numeric approximation to the solution is often sufficient. The algorithms studied here can be used to compute such an approximation.
Trou blancUn trou blanc, aussi appelé fontaine blanche, est un objet théorique susceptible d'exister au sens où il peut être décrit par les lois de la relativité générale, mais dont l'existence dans l'Univers est considérée comme hautement spéculative. Il est décrit par certaines solutions mathématiques de type trou noir dans lequel des géodésiques sont issues d'une singularité gravitationnelle ou d'un horizon. Il forme ainsi le symétrique par rapport au temps d'un trou noir, puisque dans un cas rien ne peut s'échapper d'un trou noir, et dans l'autre rien ne peut pénétrer dans une fontaine blanche.
Micro-trou noirLes micro-trous noirs sont de minuscules trous noirs hypothétiques, également appelés trous noirs quantiques ou mini-trous noirs, pour lesquels les effets liés à la mécanique quantique jouent un rôle important. Il est possible que de tels trous noirs quantiques aient été créés dans l'environnement très dense de l'univers primordial, ou au cours de transitions de phases ultérieures : on parle dans ce cas de trous noirs primordiaux. Ils pourraient être détectés prochainement par les astrophysiciens, grâce aux particules qu'ils devraient émettre par rayonnement de Hawking.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
IdentifiantUn identifiant est une sorte de nom qui sert à identifier un objet précis dans un ensemble d'objets ; ou plus largement toute suite de caractères qui joue ce rôle-là. En principe, un identifiant devrait être unique pour chaque objet. En pratique (comme pour les noms de personnes ou de lieux) ce n'est pas toujours le cas, sauf s'il s'agit d'un ensemble d'identifiants défini par une norme technique. Un identifiant de métadonnée est un signe, une étiquette ou un jeton indépendant du langage, qui identifie de manière unique un objet au sein d'un schéma d'identification.
ObservationL’observation est un des régimes de la preuve scientifique : c'est une expérience d'accumulation et de recueil d'informations sur un phénomène, un objet d'étude, en absence de variables ou sans contrôler les variables et les paramètres. L'observation est une étape différente, et souvent complémentaire, d'une expérimentation ou expérience dite contrôlée. Elle permet de valider/invalider des hypothèses ou de vérifier des observations ou des expérimentations antérieures.
Naissance des étoilesLa naissance des étoiles ou formation stellaire, voire stellogénèse ou stellogonie, est un domaine de recherche en astrophysique, qui consiste en l'étude des modes de formation des étoiles et des systèmes planétaires. Les étoiles en formation sont fréquemment appelées « étoiles jeunes ». Selon le scénario actuellement admis, confirmé par l'observation, les étoiles se forment en groupe à partir de la contraction gravitationnelle d'une nébuleuse, un nuage de gaz et de poussière, qui se fragmente en plusieurs cœurs protostellaires.
Méthode expérimentaleLes méthodes expérimentales scientifiques consistent à tester la validité d'une hypothèse, en reproduisant un phénomène (souvent en laboratoire) et en faisant varier un paramètre. Le paramètre que l'on fait varier est impliqué dans l'hypothèse. Le résultat de l'expérience valide ou non l'hypothèse. La démarche expérimentale est appliquée dans les recherches dans des sciences telles que, par exemple, la biologie, la physique, la chimie, l'informatique, la psychologie, ou encore l'archéologie.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
PhénomèneUn phénomène est la manière dont une chose, un fait du monde physique (objet, action...), psychique (émotion, pensée...) ou social (produit d'interactions sociales) se manifeste à la sensibilité d'un être vivant. Certains phénomènes de la physique, tels le magnétisme, la lumière ultra-violette, les rayons X, etc. n'affectent pas de la même manière la sensibilité des différents êtres vivants. Le mot phénomène vient du latin , emprunté au grec , « phénomène naturel », dérivé du verbe , « faire paraître, faire voir, rendre visible ».
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Trou noir de KerrEn astrophysique, un trou noir de Kerr, ainsi désigné en l'honneur du mathématicien néozélandais Roy Kerr, est, par définition, un trou noir : de masse strictement positive : ; dont le moment cinétique n'est pas nul : , c'est-à-dire qui est en rotation axiale ; dont la charge électrique est nulle . D'après la conjecture de calvitie, proposée par John Wheeler, il est un des quatre types théoriques de trous noirs.
