MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Symbolic Algebraic Methods and Verification Methods" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Symbolic-Algebraic Methods and Verification Methods - Theory and Applications
by Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto, Methods Theory, Rudolf F. Albrecht — 1999 — Digital Rights Management – Technological, Economic, Legal and Political Aspects, LNCS volume 2770
…Symbolic-Algebraic Methods and Verication Methods - Theory and Applications 21…
Add To MetaCart

Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming
by David M. Gay, David M. Gay — 2000
… of a seminar on "Symbolic-algebraic Methods and Verification Methods --- Theory and Applications", held…
Cited by 1 (0 self) – Add To MetaCart

Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming
by David Gay Bell, David M. Gay, David M. Gay
… of a seminar on ‘‘Symbolic-algebraic Methods and Verification Methods — Theory and Applications’’, held…
Add To MetaCart

Solution of Systems of Polynomial Equations by Using Bernstein Expansion
by Jurgen Garloff And, G. Alefeld, S. Rump, J. Rohn, T. Yamamoto, Jurgen Garloff, Andrew P. Smith
…to appear in Symbolic Algebraic Methods and Verification Methods edited by G. Alefeld, S. Rump, J…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB