Cargando…
Symbolic algebraic methods and verification methods
Autores principales: | , , , |
---|---|
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 |