Počet záznamů: 1
Symbolic Algebraic Methods and Verification Methods
- 1.0404182 - UIVT-O 20010045 RIV AT eng B - Monografie kniha jako celek
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
Výzkumný záměr: AV0Z1030915
Klíčová slova: interval analysis * validated computing * verification methods
Kód oboru RIV: BA - Obecná matematika
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.
Trvalý link: http://hdl.handle.net/11104/0124449
Počet záznamů: 1