Publication
An algebraic 2-level domain decomposition preconditioner with applications to the compressible Euler equations
Concepts associés (33)
Aérodynamique
Laérodynamique () est une branche de la dynamique des fluides qui étudie les écoulements d'air, et leurs effets sur des éléments solides. Dans des domaines d'application tel que le design, des éléments d'aérodynamique sont repris du point de vue humain et subjectif, sous le nom daérodynamisme, avec des considérations, par exemple, sur les formes pouvant apparaître comme favorables à l'avancement.
Méthode de Newton
vignette|Une itération de la méthode de Newton. En analyse numérique, la méthode de Newton ou méthode de Newton-Raphson est, dans son application la plus simple, un algorithme efficace pour trouver numériquement une approximation précise d'un zéro (ou racine) d'une fonction réelle d'une variable réelle. Cette méthode doit son nom aux mathématiciens anglais Isaac Newton (1643-1727) et Joseph Raphson (peut-être 1648-1715), qui furent les premiers à la décrire pour la recherche des solutions d'une équation polynomiale.
Logique linéaire
vignette|Arbre de résolution linéaire En logique mathématique et plus précisément en théorie de la démonstration, la logique linéaire est un système formel inventé par le logicien Jean-Yves Girard en 1987. Du point de vue logique, la logique linéaire décompose et analyse les logiques classique et intuitionniste. Du point de vue calculatoire, elle est un système de type pour le lambda-calcul permettant de spécifier certains usages des ressources. La logique classique n'étudie pas les aspects les plus élémentaires du raisonnement.