Détail de l'éditeur
Springer
localisé à :
Allemagne
Collections rattachées :
|
Documents disponibles chez cet éditeur (6)
Affiner la recherche Interroger des sources externes
Titre : APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR- CORRECTING CODES Type de document : texte imprimé Auteurs : teo mora ; harold mattson Editeur : Allemagne : Springer Année de publication : 1997 Collection : Lecture Notes in Computer Science num. 1255 Importance : 352 p. Format : 23.5 cm. ISBN/ISSN/EAN : 978-3-540-63163-7 Note générale : index: Minimun distance decoding algorithms for linear codes.- Efficient multivariate factorization over finite fields.- On maximal codes in polynomial metric spaces.- Yet another ideal decomposition algorithm.- A resultant theory for ordinary algebraic differential equations.- The symmetry group of ? q n in the Lee space and the ? q n-linear codes.- On repeated-root cyclic codes and the two-way chain condition.- Exponentiation in finite fields: Theory and practice.- Computing minimum-link path in a homotopy class amidst semi-algebraic obstacles in the plane.- Certain self-dual codes over ?4 and the odd Leech lattice.- Order functions and evaluation codes.- Codes from cocycles.- A brief tour of split linear programming.- Elementary approximation of exponentials of Lie polynomials.- On the q-ary image of cyclic codes.- The split weight (w L , w R ) enumeration of Reed-Muller codes for w L +w R d min.- Optimal linear codes of dimension 4 over GF(5).- Characterisations of lexicographic sets and simply-connected Hilbert schemes.- An iterative probabilistic decoding algorithm for binary linear block codes beyond the half minimum distance.- Security examination of a cellular automata based pseudorandom bit generator using an algebraic replica approach.- Formal duality of linearly presentable codes over a Galois field.- Trace-function on a Galois ring in coding theory.- A vector version of the BMS algorithm for implementing fast erasure-and-error decoding of one-point AG codes.- On generalized Hamming weights of codes constructed on affine algebraic sets.- Some results on regular mappings.- Extension theorems for linear codes over finite rings.- Nonperiodic cyclic equivalence classes of cyclic codes and algebraic constructions of cyclically permutable codes. Langues : Anglais (eng) Langues originales : Allemand (ger) Résumé : This volume features 27 revised full papers from the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes held in 1997. The papers address a broad range of issues in coding theory and computer algebra spanning polynomials. APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR- CORRECTING CODES [texte imprimé] / teo mora ; harold mattson . - Allemagne : Springer, 1997 . - 352 p. ; 23.5 cm.. - (Lecture Notes in Computer Science; 1255) .
ISBN : 978-3-540-63163-7
index: Minimun distance decoding algorithms for linear codes.- Efficient multivariate factorization over finite fields.- On maximal codes in polynomial metric spaces.- Yet another ideal decomposition algorithm.- A resultant theory for ordinary algebraic differential equations.- The symmetry group of ? q n in the Lee space and the ? q n-linear codes.- On repeated-root cyclic codes and the two-way chain condition.- Exponentiation in finite fields: Theory and practice.- Computing minimum-link path in a homotopy class amidst semi-algebraic obstacles in the plane.- Certain self-dual codes over ?4 and the odd Leech lattice.- Order functions and evaluation codes.- Codes from cocycles.- A brief tour of split linear programming.- Elementary approximation of exponentials of Lie polynomials.- On the q-ary image of cyclic codes.- The split weight (w L , w R ) enumeration of Reed-Muller codes for w L +w R d min.- Optimal linear codes of dimension 4 over GF(5).- Characterisations of lexicographic sets and simply-connected Hilbert schemes.- An iterative probabilistic decoding algorithm for binary linear block codes beyond the half minimum distance.- Security examination of a cellular automata based pseudorandom bit generator using an algebraic replica approach.- Formal duality of linearly presentable codes over a Galois field.- Trace-function on a Galois ring in coding theory.- A vector version of the BMS algorithm for implementing fast erasure-and-error decoding of one-point AG codes.- On generalized Hamming weights of codes constructed on affine algebraic sets.- Some results on regular mappings.- Extension theorems for linear codes over finite rings.- Nonperiodic cyclic equivalence classes of cyclic codes and algebraic constructions of cyclically permutable codes.
Langues : Anglais (eng) Langues originales : Allemand (ger)
Résumé : This volume features 27 revised full papers from the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes held in 1997. The papers address a broad range of issues in coding theory and computer algebra spanning polynomials. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité M8/614--1 M8/614 Périodique Mathématiques et 'informatique indéterminé Disponible M8/614--2 M8/614 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : ASPECTS OF INCOMPLETENESS Type de document : texte imprimé Auteurs : Per Lindstrom Editeur : Allemagne : Springer Année de publication : 1997 Collection : Lecture Notes in Logic num. 10 Importance : 132 p. Format : 23.5 cm. ISBN/ISSN/EAN : 978-3-540-63213-9 Note générale : index: Langues : Anglais (eng) Langues originales : Anglais (eng) Résumé : This book presents some of the main areas and results of general metamathematics. In addition to standard results of GAdel et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers. ASPECTS OF INCOMPLETENESS [texte imprimé] / Per Lindstrom . - Allemagne : Springer, 1997 . - 132 p. ; 23.5 cm.. - (Lecture Notes in Logic; 10) .
ISBN : 978-3-540-63213-9
index:
Langues : Anglais (eng) Langues originales : Anglais (eng)
Résumé : This book presents some of the main areas and results of general metamathematics. In addition to standard results of GAdel et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité M8/620--1 M8/620 Périodique Mathématiques et 'informatique indéterminé Disponible M8/620--2 M8/620 Périodique Mathématiques et 'informatique indéterminé Disponible M8/620--3 M8/620 Périodique Mathématiques et 'informatique indéterminé Disponible M8/620--4 M8/620 Périodique Mathématiques et 'informatique indéterminé Disponible M8/620--5 M8/620 Périodique Mathématiques et 'informatique indéterminé Disponible M8/620--6 M8/620 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : AUTOMATA IMPLEMENTATION : first international workshop Type de document : texte imprimé Auteurs : Darrell Raymond ; Derick Wood ; Sheng Yu Editeur : Allemagne : Springer Année de publication : 1997 Collection : Lecture Notes in Computer Science num. 1260 Importance : 188 p. Format : 23.5 cm. ISBN/ISSN/EAN : 978-3-540-63174-3 Note générale : index: Langues : Anglais (eng) Langues originales : Anglais (eng) Résumé : This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996. The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science. AUTOMATA IMPLEMENTATION : first international workshop [texte imprimé] / Darrell Raymond ; Derick Wood ; Sheng Yu . - Allemagne : Springer, 1997 . - 188 p. ; 23.5 cm.. - (Lecture Notes in Computer Science; 1260) .
ISBN : 978-3-540-63174-3
index:
Langues : Anglais (eng) Langues originales : Anglais (eng)
Résumé : This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996. The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité M8/615--1 M8/615 Périodique Mathématiques et 'informatique indéterminé Disponible M8/615--2 M8/615 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : NONSTANDARD ANALYSIS IN PRACTICE Type de document : texte imprimé Auteurs : francine diener Editeur : Allemagne : Springer Année de publication : 1995 Collection : universitext Importance : 250 p. Format : 23.5 cm. ISBN/ISSN/EAN : 978-3-540-60297-2 Note générale : index: Langues : Anglais (eng) Langues originales : Anglais (eng) Résumé : This book introduces the graduate mathematician and researcher to the effective use of nonstandard analysis (NSA). It provides a tutorial introduction to this modern theory of infinitesimals, followed by nine examples of applications, including complex analysis, stochastic differential equations, differential geometry, topology, probability, integration, and asymptotics. It ends with remarks on teaching with infinitesimals. NONSTANDARD ANALYSIS IN PRACTICE [texte imprimé] / francine diener . - Allemagne : Springer, 1995 . - 250 p. ; 23.5 cm.. - (universitext) .
ISBN : 978-3-540-60297-2
index:
Langues : Anglais (eng) Langues originales : Anglais (eng)
Résumé : This book introduces the graduate mathematician and researcher to the effective use of nonstandard analysis (NSA). It provides a tutorial introduction to this modern theory of infinitesimals, followed by nine examples of applications, including complex analysis, stochastic differential equations, differential geometry, topology, probability, integration, and asymptotics. It ends with remarks on teaching with infinitesimals. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité M8/618--1 M8/618 Périodique Mathématiques et 'informatique indéterminé Disponible M8/618--2 M8/618 Périodique Mathématiques et 'informatique indéterminé Disponible Optimisation Numérique, aspects théoriques et pratiques
Titre : Optimisation Numérique, aspects théoriques et pratiques Type de document : texte imprimé Editeur : Allemagne : Springer Année de publication : 1997 Collection : Mathématiques & Applications num. 27 Importance : 324 p. Format : 24 cm. ISBN/ISSN/EAN : 978-3-540-63183-5 Note générale : index: Langues : Français (fre) Langues originales : Allemand (ger) Résumé : Ce livre est exclusivement consacre aux algorithmes numeriques d'optimisation (quasi-Newton, faisceaux, programmation quadratique successive, points interieurs); les bases theoriques (conditions d'optimalite, multiplicateurs de Lagrange) sont supposees connues.Son but est de familiariser le lecteur avec ces algorithmes, qui sont pour la plupart bien classiques. Leur description insiste sur leur implementation numerique, ils peuvent etre programmes directement par un lecteur experimente. Le cote theorique n'est pas pour autant neglige, avec demonstration de chaque theoreme de convergence ou vitesse de convergence; souvent, ces demonstrations utilisent des hypotheses minimales. En ligne : //www.librairiedialogues.fr//ws/book/9783540631835/unimarc_utf-8 Optimisation Numérique, aspects théoriques et pratiques [texte imprimé] . - Allemagne : Springer, 1997 . - 324 p. ; 24 cm.. - (Mathématiques & Applications; 27) .
ISBN : 978-3-540-63183-5
index:
Langues : Français (fre) Langues originales : Allemand (ger)
Résumé : Ce livre est exclusivement consacre aux algorithmes numeriques d'optimisation (quasi-Newton, faisceaux, programmation quadratique successive, points interieurs); les bases theoriques (conditions d'optimalite, multiplicateurs de Lagrange) sont supposees connues.Son but est de familiariser le lecteur avec ces algorithmes, qui sont pour la plupart bien classiques. Leur description insiste sur leur implementation numerique, ils peuvent etre programmes directement par un lecteur experimente. Le cote theorique n'est pas pour autant neglige, avec demonstration de chaque theoreme de convergence ou vitesse de convergence; souvent, ces demonstrations utilisent des hypotheses minimales. En ligne : //www.librairiedialogues.fr//ws/book/9783540631835/unimarc_utf-8 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité m8/612--1 m8/612 Périodique Mathématiques et 'informatique indéterminé Disponible Permalink
