𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computer control systems for environmental engineering operations

✍ Scribed by John F. Andrews

Book ID
107759925
Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
186 KB
Volume
31
Category
Article
ISSN
0019-0578

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