Number of the records: 1
Symbolic Algebraic Methods and Verification Methods
- 1.0404182 - UIVT-O 20010045 RIV AT eng B - Monography
Alefeld, G. (ed.) - Rohn, Jiří (ed.) - Rump, S. (ed.) - Yamamoto, T. (ed.)
Symbolic Algebraic Methods and Verification Methods.
Wien: Springer, 2001. 266 s. Springer Mathematics. ISBN 3-211-83593-8
Institutional research plan: AV0Z1030915
Keywords : interval analysis * validated computing * verification methods
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124370&local_base=AV
This is a volume of proceedings of a conference dedicated to symbolic computation and verification methods, held at the castle Dagstuhl in december 1999.
Permanent Link: http://hdl.handle.net/11104/0124449
Number of the records: 1