Cargando…

Symbolic algebraic methods and verification methods

Detalles Bibliográficos
Autores principales: Alefeld, Götz, Rohn, Jiří, Rump, Siegfried, Yamamoto, Tetsuro
Lenguaje:eng
Publicado: Springer 2001
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-7091-6280-4
http://cds.cern.ch/record/1618347
_version_ 1780932912879763456
author Alefeld, Götz
Rohn, Jiří
Rump, Siegfried
Yamamoto, Tetsuro
author_facet Alefeld, Götz
Rohn, Jiří
Rump, Siegfried
Yamamoto, Tetsuro
author_sort Alefeld, Götz
collection CERN
id cern-1618347
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2001
publisher Springer
record_format invenio
spelling cern-16183472021-04-21T21:58:17Zdoi:10.1007/978-3-7091-6280-4http://cds.cern.ch/record/1618347engAlefeld, GötzRohn, JiříRump, SiegfriedYamamoto, TetsuroSymbolic algebraic methods and verification methodsMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16183472001
spellingShingle Mathematical Physics and Mathematics
Alefeld, Götz
Rohn, Jiří
Rump, Siegfried
Yamamoto, Tetsuro
Symbolic algebraic methods and verification methods
title Symbolic algebraic methods and verification methods
title_full Symbolic algebraic methods and verification methods
title_fullStr Symbolic algebraic methods and verification methods
title_full_unstemmed Symbolic algebraic methods and verification methods
title_short Symbolic algebraic methods and verification methods
title_sort symbolic algebraic methods and verification methods
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-7091-6280-4
http://cds.cern.ch/record/1618347
work_keys_str_mv AT alefeldgotz symbolicalgebraicmethodsandverificationmethods
AT rohnjiri symbolicalgebraicmethodsandverificationmethods
AT rumpsiegfried symbolicalgebraicmethodsandverificationmethods
AT yamamototetsuro symbolicalgebraicmethodsandverificationmethods