Symbolic Algebraic Methods and Verification Methods

Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods. Springer, 2001.

Editors

Götz Alefeld

This author has not been identified. Look up 'Götz Alefeld' in Google

Jiri Rohn

This author has not been identified. Look up 'Jiri Rohn' in Google

Siegfried M. Rump

This author has not been identified. Look up 'Siegfried M. Rump' in Google

Tetsuro Yamamoto

This author has not been identified. Look up 'Tetsuro Yamamoto' in Google