This book provides an in-depth introduction to real-world abstract algebraic problems. Chapters examine the prerequisite mathematics needed, block designs, coding theory, and cryptography while the final chapters cover counting techniques, including...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Matrix algebra is one of the most important areas of mathematics for data analysis and for statistical theory. This much-needed work presents the relevant aspects of the theory of matrix algebra for applications in statistics. It moves on to consi...Loe edasi...
This textbook is designed for a two-semester course, such as a course in mathematical coding theory or cryptology. Because only a few exercises ask students to produce computer code, the text can be used in courses in which advanced technology is not...Loe edasi...
The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in...Loe edasi...
Sari: Proceedings of Symposia in Applied Mathematics
(Ilmumisaeg: 11-Jan-2013, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9780821853276)
The lectures collected in these proceedings describe computational topology as it is used in various fields in which topological problems are resolved using computational techniques. They cover topological data analysis, topological dynamics: rigorou...Loe edasi...
(Ilmumisaeg: 11-Apr-2012, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642294846)
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influ...Loe edasi...
(Ilmumisaeg: 28-Mar-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540789123)
Constituting the refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, these papers were selected from numerous subm...Loe edasi...
(Ilmumisaeg: 23-Oct-2006, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540376323)
Based on the ontology and semantics of algebra, the computer algebra system Magma enables users to rapidly formulate and perform calculations in abstract parts of mathematics. Edited by the principal designers of the program, this book explores Magma...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 18-Apr-2006, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540333395)
This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274....Loe edasi...
(Ilmumisaeg: 03-Feb-2006, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540307044)
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from sc...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 17-Aug-2006, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540378730)
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th International Workshop on Applications of Kleene Algebras, AKA 2006, held in Manchester, UK i...Loe edasi...
(Ilmumisaeg: 27-Apr-1999, Hardback, Kirjastus: John Wiley & Sons Ltd, ISBN-13: 9780471983538)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This is an outline of the strengths and weaknesses of general purpose computer packages. It allows users, new to CASs, to form an idea of where to begin. Each system studied uses a different language, so many examples are included to aid the user in...Loe edasi...
(Ilmumisaeg: 31-Jul-1996, Hardback, Kirjastus: Artech House Publishers, ISBN-13: 9780890068533)
In this comprehensive, easy-to-understand book, Chris Tocci and Steve Adams show how real-world engineering problems can be solved using MAPLE as the principal tool. The authors go well beyond providing a tutorial on MAPLE V, Release 4, as they show...Loe edasi...
(Ilmumisaeg: 25-Mar-1996, Multiple-component retail product, Kirjastus: John Wiley & Sons Ltd, ISBN-13: 9780471967163)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
MuPAD is a computer algebra system designed to handle mathematical problems and computations of a new order of magnitude. This manual details the systems capabilities and contains a full description of the MuPAD programming language and guidelines...Loe edasi...
M. A. H. MacCallum, J. E. F. Skea, R. G. McLenaghan, Julian Dermott McCrea, Marcelo J. Rebouças, Waldir L. Roque
(Ilmumisaeg: 24-Nov-1994, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198536468)
Based on a series of lectures given at a summer school on computer algebra, this book presents facilities available in three computer algebra systems - MAPLE, REDUCE, and SHEEP - for performing calculations in the algebra-intensive field of General R...Loe edasi...