La méthode des gradients conjugents pour les équations non linéaires dans l'espace de Banach
Alexander Kratochvíl (1968)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Anisotropic resultant. Complements and applications. (Résultant anisotrope. Compléments et applications.)”
La méthode des gradients conjugents pour les équations non linéaires dans l'espace de Banach
Generalized Jacobi polynomials and Selberg integrals. (Polynômes de Jacobi généralisés et intégrales de Selberg.)
Barsky, Daniel, Carpentier, Michel (1996)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Sur une système d'équations fonctionnelles qui généralise une équation de P. M. Vasic.
R.Janic Radovan (1966)
Publications de l'Institut Mathématique [Elektronische Ressource]
Similarity:
Statistiques exhaustives complètes sur des échantillons corrélés
Guy Cirier (1988)
Statistique et analyse des données
Similarity:
Méthodes du second ordre dans les problèmes d'optimisation avec contraintes
Auslender (1969)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Similarity:
: The vise tightens. (Ensembles : L'étau se resserre.)
Habsieger, Laurent, Plagne, Alain (2002)
Integers
Similarity:
Convergence presque sûre de processus d'approximation stochastique dynamique
Jean-Marie Monnez (1989)
Statistique et analyse des données
Similarity:
Étude d'un modèle de corrélation en approximation stochastique
Jean-Marie Monnez (1991)
Statistique et analyse des données
Similarity:
Les types de données syntaxiques du système
Samir Farkh, Karim Nour (2001)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Nous présentons dans ce papier une définition purement syntaxique des types entrées et des types sorties du système . Nous définissons les types de données syntaxiques comme étant des types entrées et sorties. Nous démontrons que les types à quantificateurs positifs sont des types de données syntaxiques et qu’un type entrée est un type sortie. Nous imposons des restrictions sur la règle d’élimination des quantificateurs pour démontrer qu’un type sortie est un type entrée.