A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'consistency'
Affiner la recherche Générer le flux rss de la recherche
Linear regression / Jurgen Gross
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18842 LNS/175 imprimé / autre CRDM LNS/LECTURES NOTES IN STATISTICS Disponible Metamathematics of first-order arithmetic / Hajek, Petr
Titre : Metamathematics of first-order arithmetic Type de document : texte imprimé Auteurs : Hajek, Petr ; Pudlak, Pavel Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1998 Collection : Perspectives in Mathematical Logic Importance : xiv - 460 p. ISBN/ISSN/EAN : 978-3-540-63648-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragmentsMots-clés : consistency interpretability witnessing functions provability bounded arithmetic model theory indicators conservativity definable cuts reflexive theories self-reference incompleteness combinatorics in fragments recursion theory partial truth definitions fragments of arithmetic foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Metamathematics of first-order arithmetic [texte imprimé] / Hajek, Petr ; Pudlak, Pavel . - 2nd ed. . - [S.l.] : Springer-Verlag, 1998 . - xiv - 460 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-3-540-63648-9
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragmentsMots-clés : consistency interpretability witnessing functions provability bounded arithmetic model theory indicators conservativity definable cuts reflexive theories self-reference incompleteness combinatorics in fragments recursion theory partial truth definitions fragments of arithmetic foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13032 03C07 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Nonlinear functional analysis and its applications. II/A / Zeidler, Eberhard
Titre : Nonlinear functional analysis and its applications. II/A : linear monotone operators Titre original : transl. from the German by the author and by Leo F. Boron Type de document : texte imprimé Auteurs : Zeidler, Eberhard Editeur : Springer-Verlag Année de publication : 1990 Importance : xviii - 467 p. ISBN/ISSN/EAN : 978-3-540-96802-3 Langues : Anglais Langues originales : Allemand Catégories : 47-XX Operator theory:47-02 Research exposition (monographs, survey articles)
47-XX Operator theory:47AXX General theory of linear operators:47A50 Equations and inequalities involving linear operators, with vector unknowns
47-XX Operator theory:47AXX General theory of linear operators:47A53 (Semi-) Fredholm operators; index theories
47-XX Operator theory:47BXX Special classes of linear operators:47B25 Symmetric and selfadjoint operators (unbounded)
47-XX Operator theory:47DXX Groups and semigroups of linear operators, their generalizations and applications:47D03 Groups and semigroups of linear operators
47-XX Operator theory:47HXX Nonlinear operators and their properties
65-XX Numerical analysis:65JXX Numerical analysis in abstract spaces:65J10 Equations with linear operators (do not use 65Fxx)Mots-clés : energy dirichlet principle boundary value problems for elliptic equations fredholm alternative existence of eigenvalues strongly positive bilinear forms regularity of generalized solutions functional and interpolation inequalities elliptic, parabolic and hyperbolic problems convergence of the galerkin method approximation solvability of linear operator equations convergence in difference methods consistency stability smoothing principles completion mild solutions semigroup approach of evolution problems eigenvalue problems friedrichs extension for unbounded linear operators quadratic variational problems ritz method hilbert orthogonality hilbert space methods in pde theory monotone operator Index. décimale : 47C Monographie Nonlinear functional analysis and its applications. II/A = transl. from the German by the author and by Leo F. Boron : linear monotone operators [texte imprimé] / Zeidler, Eberhard . - [S.l.] : Springer-Verlag, 1990 . - xviii - 467 p.
ISBN : 978-3-540-96802-3
Langues : Anglais Langues originales : Allemand
Catégories : 47-XX Operator theory:47-02 Research exposition (monographs, survey articles)
47-XX Operator theory:47AXX General theory of linear operators:47A50 Equations and inequalities involving linear operators, with vector unknowns
47-XX Operator theory:47AXX General theory of linear operators:47A53 (Semi-) Fredholm operators; index theories
47-XX Operator theory:47BXX Special classes of linear operators:47B25 Symmetric and selfadjoint operators (unbounded)
47-XX Operator theory:47DXX Groups and semigroups of linear operators, their generalizations and applications:47D03 Groups and semigroups of linear operators
47-XX Operator theory:47HXX Nonlinear operators and their properties
65-XX Numerical analysis:65JXX Numerical analysis in abstract spaces:65J10 Equations with linear operators (do not use 65Fxx)Mots-clés : energy dirichlet principle boundary value problems for elliptic equations fredholm alternative existence of eigenvalues strongly positive bilinear forms regularity of generalized solutions functional and interpolation inequalities elliptic, parabolic and hyperbolic problems convergence of the galerkin method approximation solvability of linear operator equations convergence in difference methods consistency stability smoothing principles completion mild solutions semigroup approach of evolution problems eigenvalue problems friedrichs extension for unbounded linear operators quadratic variational problems ritz method hilbert orthogonality hilbert space methods in pde theory monotone operator Index. décimale : 47C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5488 47C43 imprimé / autre CRDM 47/THEORIE DES OPERATEURS Disponible Nonparametric methods in change-point problems / Boris E. Brodsky
Titre : Nonparametric methods in change-point problems Type de document : texte imprimé Auteurs : Boris E. Brodsky (1955-....), Auteur ; Boris S. Darkhovsky, Auteur Editeur : Dordrecht : Kluwer Academic Publishers Année de publication : 1993 Collection : Mathematics and its Applications num. 243 Importance : xi - 209 p. Format : 25 cm ISBN/ISSN/EAN : 978-90-481-4240-8 Langues : Anglais Catégories : 62-XX Statistics:62-02 Research exposition (monographs, survey articles)
62-XX Statistics:62GXX Nonparametric inference:62G05 Estimation
62-XX Statistics:62MXX Inference from stochastic processes:62M40 Random fields; image analysisMots-clés : consistency strong consistency changes in the mean partial sum processes distributional convergence mixing condition a posteriori change-point problems sequential change-point detection problems disorder detection of random fields Index. décimale : LMM Nonparametric methods in change-point problems [texte imprimé] / Boris E. Brodsky (1955-....), Auteur ; Boris S. Darkhovsky, Auteur . - Dordrecht : Kluwer Academic Publishers, 1993 . - xi - 209 p. ; 25 cm. - (Mathematics and its Applications; 243) .
ISBN : 978-90-481-4240-8
Langues : Anglais
Catégories : 62-XX Statistics:62-02 Research exposition (monographs, survey articles)
62-XX Statistics:62GXX Nonparametric inference:62G05 Estimation
62-XX Statistics:62MXX Inference from stochastic processes:62M40 Random fields; image analysisMots-clés : consistency strong consistency changes in the mean partial sum processes distributional convergence mixing condition a posteriori change-point problems sequential change-point detection problems disorder detection of random fields Index. décimale : LMM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19818 LMM/BRO imprimé / autre Fédération FR 2962 - Le Mans Le Mans Ouvrages Disponible Numerical partial differential equations / J. W. Thomas
Titre : Numerical partial differential equations : finite difference methods Type de document : texte imprimé Auteurs : J. W. Thomas, Auteur Editeur : New York, NY : Springer Année de publication : 1995 Collection : Texts in Applied Mathematics num. 22 Importance : xx - 437 p. Format : 25 cm ISBN/ISSN/EAN : 978-0-387-97999-1 Langues : Anglais Catégories : 62-XX Statistics:62-02 Research exposition (monographs, survey articles)
65-XX Numerical analysis:65MXX Partial differential equations, initial value and time-dependent initial-boundary value problems:65M06 Finite difference methods
65-XX Numerical analysis:65MXX Partial differential equations, initial value and time-dependent initial-boundary value problems:65M12 Stability and convergence of numerical methodsMots-clés : algorithms finite difference schemes consistency stability convergence numerical examples parabolic and hyperbolic equations Index. décimale : 65C Monographie Numerical partial differential equations : finite difference methods [texte imprimé] / J. W. Thomas, Auteur . - New York, NY : Springer, 1995 . - xx - 437 p. ; 25 cm. - (Texts in Applied Mathematics; 22) .
ISBN : 978-0-387-97999-1
Langues : Anglais
Catégories : 62-XX Statistics:62-02 Research exposition (monographs, survey articles)
65-XX Numerical analysis:65MXX Partial differential equations, initial value and time-dependent initial-boundary value problems:65M06 Finite difference methods
65-XX Numerical analysis:65MXX Partial differential equations, initial value and time-dependent initial-boundary value problems:65M12 Stability and convergence of numerical methodsMots-clés : algorithms finite difference schemes consistency stability convergence numerical examples parabolic and hyperbolic equations Index. décimale : 65C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22143 65C401 imprimé / autre CRDM 65/ANALYSE NUMERIQUE Disponible