Cargando…

Computer aided proofs in analysis

Detalles Bibliográficos
Autores principales: Meyer, Kenneth, Schmidt, Dieter
Lenguaje:eng
Publicado: Springer 1991
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-1-4613-9092-3
http://cds.cern.ch/record/1612130
_version_ 1780932196008198144
author Meyer, Kenneth
Schmidt, Dieter
author_facet Meyer, Kenneth
Schmidt, Dieter
author_sort Meyer, Kenneth
collection CERN
id cern-1612130
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1991
publisher Springer
record_format invenio
spelling cern-16121302021-04-21T22:12:15Zdoi:10.1007/978-1-4613-9092-3http://cds.cern.ch/record/1612130engMeyer, KennethSchmidt, DieterComputer aided proofs in analysisMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16121301991
spellingShingle Mathematical Physics and Mathematics
Meyer, Kenneth
Schmidt, Dieter
Computer aided proofs in analysis
title Computer aided proofs in analysis
title_full Computer aided proofs in analysis
title_fullStr Computer aided proofs in analysis
title_full_unstemmed Computer aided proofs in analysis
title_short Computer aided proofs in analysis
title_sort computer aided proofs in analysis
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-1-4613-9092-3
http://cds.cern.ch/record/1612130
work_keys_str_mv AT meyerkenneth computeraidedproofsinanalysis
AT schmidtdieter computeraidedproofsinanalysis