NASA contractor report CR (series). 799. Lyapunov functions from auxiliary exact differential equations [with list of references]; by Edwin Klnnen and Chiou-Shlun Chen.

Tools