ENGLISH

The collected works of Larry Wos: Exploring the power of automated reasoning

By Wos L. , Pieper G.W. (eds.)

Book information

Publisher
World Scientific
Year
2000
ISBN
9810249969, 9789810249960, 9810249985, 9789810249984, 9810240015, 9789810240011, 9810240023, 9789810240028
Language
english
Format
DJVU
Filesize
10 MB (10913734 bytes)
Pages
1655\1655
Library
kolxoz
Time added
2012-12-29 17:00:00

Description

The Kronecker product of matrices plays a central role in mathematics and in applications found in engineering and theoretical physics. These applications are signal processing, statistical physics, quantum groups and quantum computers. This text provides a comprehensive introduction to the Kronecker product of matrices together with its software implementation in C++ using an object-orientated design v. 1. Exploring the power of automated reasoning -- v. 2. Applying automated reasoning to puzzles, problems, and open questions

Similar books