𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Supremum Operators and Computation of Supremal Elements in System Theory

✍ Scribed by Zad, S. Hashtrudi; Kwong, R. H.; Wonham, W. M.

Book ID
118207330
Publisher
Society for Industrial and Applied Mathematics
Year
1999
Tongue
English
Weight
328 KB
Volume
37
Category
Article
ISSN
0363-0129

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computer Assistance for β€œDiscovering” Fo
Computer Assistance for β€œDiscovering” Formulas in System Engineering and Operator Theory
✍ J.William Helton; Mark Stankus πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 392 KB

The objective of this paper is two-fold. First we present a methodology for using a combination of computer assistance and human intervention to discover highly algebraic theorems in operator, matrix, and linear systems engineering theory. Since the methodology allows limited human intervention, it