Next:
Introduction
Up:
NCAlgebra
Previous:
HTML output - not
Contents
Index
An NCAlgebra demo - The Bounded Real Lemma
The Bounded Real Lemma
Subsections
Introduction
System Definition
Demo Initialization
Lemma
Proof (by computation)
NCAlgebra Project 2002-09-09
Introduction