Hasil Pencarian  ::  Simpan CSV :: Kembali

"This volume consists of expository and research articles that highlight the various Lie algebraic methods used in mathematical research today. Key topics discussed include spherical varieties, Littelmann Paths and Kac–Moody Lie algebras, modular representations, primitive ideals, representation theory of Artin algebras and quivers, Kac–Moody superalgebras, categories of Harish–Chandra modules, cohomological methods, and cluster algebras. "

"Introduces the concepts and methods of the Lie theory in a form accessible to the non-specialist by keeping mathematical prerequisites to a minimum. Although the authors have concentrated on presenting results while omitting most of the proofs, they have compensated for these omissions by including many references to the original literature. Their treatment is directed toward the reader seeking a broad view of the subject rather than elaborate information about technical details. Illustrations of various points of the Lie theory itself are found throughout the book in material on applications. In this reprint edition, the authors have resisted the temptation of including additional topics. Except for correcting a few minor misprints, the character of the book, especially its focus on classical representation theory and its computational aspects, has not been changed."

"This book is a short primer in engineering mathematics with a view on applications in nonlinear control theory. In particular, it introduces some elementary concepts of commutative algebra and algebraic geometry which offer a set of tools quite different from the traditional approaches to the subject matter.This text begins with the study of elementary set and map theory. Chapters 2 and 3 on group theory and rings, respectively, are included because of their important relation to linear algebra, the group of invertible linear maps (or matrices) and the ring of linear maps of a vector space. Homomorphisms and Ideals are dealt with as well at this stage. Chapter 4 is devoted to the theory of matrices and systems of linear equations. Chapter 5 gives some information on permutations, determinants and the inverse of a matrix. Chapter 6 tackles vector spaces over a field, Chapter 7 treats linear maps resp. linear transformations, and in addition the application in linear control theory of some abstract theorems such as the concept of a kernel, the image and dimension of vector spaces are illustrated. Chapter 8 considers the diagonalization of a matrix and their canonical forms. Chapter 9 provides a brief introduction to elementary methods for solving differential equations and, finally, in Chapter 10, nonlinear control theory is introduced from the point of view of differential algebra. "

"This book is a practical and mathematically well-informed introduction that emphasizes basic methods and theory, issues in the use and development of mathematical software, and examples from scientific engineering applications. Topics requiring an extensive amount of mathematical development, such as symplectic methods for Hamiltonian systems, are introduced, motivated, and included in the exercises, but a complete and rigorous mathematical presentation is referenced rather than included."

"The emphasis in both of these volumes is on the use of stochastic, geometric, and group-theoretic concepts in the modeling of physical phenomena. Volume 2 builds on the fundamentals presented in Volume 1, delving deeper into relationships among stochastic geometry, geometric aspects of the theory of communications and coding, multivariate statistical analysis, and error propagation on Lie groups. Extensive exercises, motivating examples, and real-world applications make the work suitable as a textbook for use in courses that emphasize applied stochastic processes or differential geometry."

"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."