Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Resolution of equations in algebraic structures . Volume 1 Algebraic techniques / / edited by Hassan Aït-Kaci, Maurice Nivat
| Resolution of equations in algebraic structures . Volume 1 Algebraic techniques / / edited by Hassan Aït-Kaci, Maurice Nivat |
| Pubbl/distr/stampa | San Diego, California ; ; London, England : , : Academic Press, Inc., , 1989 |
| Descrizione fisica | 1 online resource (475 p.) |
| Disciplina | 512/.02 |
| Soggetto topico |
Algebra, Abstract
Equations - Numerical solutions |
| ISBN | 1-4832-6247-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Algebraic Techniques; Copyright Page; Table of Contents; Contents of Volume 2: Rewriting Techniques; Contributors; Foreword; A Preview of Volume 1: Algebraic Techniques; Chapter 1. Bisimulation in Algebraic Specifications; 1. Introduction; 2. Algebraic Specification of Concurrent Systems: An Example; 3. Simulation; 4. The Lattice of Simulation Congruences; 5. Models of Hierarchical Specifications; Acknowledgment; Appendix A. Basic Notions on Partial Algebras; References; Chapter 2. Characteristic Sets and Gröbner Bases in Geometry Theorem Proving
1. An Introduction to the Methods2. Ritt's Characteristic Set Method; 3. Algebra and Geometry; 4. The Complete Method of Wu; 5. Geometry Theorem Proving Using the Gröbner Basis Method; 6. A Comparison of the Two Methods; References; Chapter 3. On Recognizable Sets and Tree Automata; 1. Introduction; 2. Recognizable and Equational Sets: General Properties; 3. Recognizable Subsets of Free T-Magmas; 4. Various Notions of Trees; 5. Conclusion; Acknowledgements; References; Chapter 4. The Idea of a Diagram; 1. Grassmann Algebras; 2. Grassmann Geometry; 3. Equations; 4. Theorems; 5. Diagrams 6. Realizations7. Properties; 8. Proof; 9. Reduction; 10. Quantities; 11. Instantiation; 12. Inconclusive Proofs; 13. Coordinate Proofs; 14. Conclusion; Acknowledgements; References; Chapter 5. Rigid E-Unification and Its Applications to Equational Matings; 1. Introduction; 2. Preliminaries; 3. Preview of the Method; 4. Equational Matings; 5. A Skolem-Herbrand-Gödel Theorem; 6. Complete Sets of Rigid E-Unifiers; 7. Minimal Rigid E-Unifiers; 8. The Reduction Procedure; 9. A Method for Finding Complete Sets of Rigid F-Unifiers; 10. Soundness, Completeness, and Decidability of the Method 11. NP-Completeness of Rigid E-Unification12· Applications of Rigid Ε-Unification to Equational Matings; 13. A Refutation Procedure; 14. Conclusion and Further Work; Acknowledgement; References; Chapter 6. What Is Unification?; 1. Introduction; 2. Substitutions and Categories; 3. Equations and Solutions; 4. Types, Variables and Products; 5. Classical Term Substitution; 6. What Is Unification?; 7. Further Explorations; 8. Summary; References; Chapter 7. Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science; 1. Introduction; 2. Fixpoint Theorems; 3. Applications 4. Conclusion and DiscussionAcknowledgments; References; Chapter 8. Canonical Representatives for Observational Equivalence Classes; 1. Introduction; 2. Nondeterministic Measurement Systems; 3. Observing Concurrency Models; 4. Some Properties of Observational Equivalence; 5. Abstraction Homomorphisms; 6. Canonical Representatives; 7. Conclusion; Acknowledgements; References; Chapter 9. Minimizing Expansions of Recursions; 1. Introduction; 2. Expansions of IDB Predicates; 3. The A/V Graph and Branches; 4. Inter-Element Redundancy; 5. Intra-Element Redundancy; 6. Conclusion; Acknowledgement References |
| Record Nr. | UNINA-9910828571203321 |
| San Diego, California ; ; London, England : , : Academic Press, Inc., , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Solutions accompany manual introduction to abstract algebra / / W. Keith Nicholson
| Solutions accompany manual introduction to abstract algebra / / W. Keith Nicholson |
| Autore | Nicholson W. Keith |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2012 |
| Descrizione fisica | 1 online resource (233 p.) |
| Disciplina | 512/.02 |
| Soggetto topico | Algebra, Abstract |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-118-34789-7
1-118-34787-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Chapter 0: Preliminaries; 0.1 Proofs; 0.2 Sets; 0.3 Mappings; 0.4 Equivalences; Chapter 1: Integers and Permutations; 1.1 Induction; 1.2 Divisors and Prime Factorization; 1.3 Integers Modulo n; 1.4 Permutations; Chapter 2: Groups; 2.1 Binary Operations; 2.2 Groups; 2.3 Subgroups; 2.4 Cyclic Groups and the Order of an Element; 2.5 Homomorphisms and Isomorphisms; 2.6 Cosets and Lagrange's Theorem; 2.7 Groups of Motions and Symmetries; 2.8 Normal Subgroups; 2.9 Factor Groups; 2.10 The Isomorphism Theorem; 2.11 An Application to Binary Linear Codes; Chapter 3: Rings
3.1 Examples and Basic Properties3.2 Integral Domains and Fields; 3.3 Ideals and Factor Rings; 3.4 Homomorphisms; 3.5 Ordered Integral Domains; Chapter 4: Polynomials; 4.1 Polynomials; 4.2 Factorization of Polynomials over a Field; 4.3 Factor Rings of Polynomials over a Field; 4.4 Partial Fractions; 4.5 Symmetric Polynomials; Chapter 5: Factorization in Integral Domains; 5.1 Irreducibles and Unique Factorization; 5.2 Principal Ideal Domains; Chapter 6: Fields; 6.1 Vector Spaces; 6.2 Algebraic Extensions; 6.3 Splitting Fields; 6.4 Finite Fields; 6.5 Geometric Constructions 6.7 An Application to Cyclic and BCH CodesChapter 7: Modules over Principal Ideal Domains; 7.1 Modules; 7.2 Modules over a Principal Ideal Domain; Chapter 8: p-Groups and the Sylow Theorems; 8.1 Products and Factors; 8.2 Cauchy's Theorem; 8.3 Group Actions; 8.4 The Sylow Theorems; 8.5 Semidirect Products; 8.6 An Application to Combinatorics; Chapter 9: Series of Subgroups; 9.1 The Jordan-Hölder Theorem; 9.2 Solvable Groups; 9.3 Nilpotent Groups; Chapter 10: Galois Theory; 10.1 Galois Groups and Separability; 10.2 The Main Theorem of Galois Theory; 10.3 Insolvability of Polynomials 10.4 Cyclotomic Polynomials and Wedderburn's TheoremChapter 11: Finiteness Conditions for Rings and Modules; 11.1 Wedderburn's Theorem; 11.2 The Wedderburn-Artin Theorem; Appendices; Appendix A: Complex Numbers; Appendix B: Matrix Arithmetic; Appendix C: Zorn's Lemma |
| Record Nr. | UNINA-9910461628203321 |
Nicholson W. Keith
|
||
| Hoboken, New Jersey : , : Wiley, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Solutions accompany manual introduction to abstract algebra / / W. Keith Nicholson
| Solutions accompany manual introduction to abstract algebra / / W. Keith Nicholson |
| Autore | Nicholson W. Keith |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2012 |
| Descrizione fisica | 1 online resource (160 pages) |
| Disciplina | 512/.02 |
| Soggetto topico | Algebra, Abstract |
| ISBN |
1-118-34789-7
1-118-34787-0 |
| Classificazione |
411.6
512.02 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910795943503321 |
|
Nicholson W. Keith
|
||
| Hoboken, New Jersey : , : Wiley, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Solutions accompany manual introduction to abstract algebra / / W. Keith Nicholson
| Solutions accompany manual introduction to abstract algebra / / W. Keith Nicholson |
| Autore | Nicholson W. Keith |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2012 |
| Descrizione fisica | 1 online resource (160 pages) |
| Disciplina | 512/.02 |
| Soggetto topico | Algebra, Abstract |
| ISBN |
1-118-34789-7
1-118-34787-0 |
| Classificazione |
411.6
512.02 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910807986503321 |
|
Nicholson W. Keith
|
||
| Hoboken, New Jersey : , : Wiley, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
