Introduction: Symbolic Algebraic Methods and Verification Methods - researchr publication

researchr

You are not signed in
Sign in
Sign up

Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto. Introduction: Symbolic Algebraic Methods and Verification Methods. In Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods. pages 1-2, Springer, 2001.

Abstract is missing.

runs on WebDSL