Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings - Couverture souple

Buchberger, Bruno

 
9783662206096: Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Couverture souple
ISBN 10 : 3662206099 ISBN 13 : 9783662206096
Editeur : Springer, 2014

Synopsis

Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in engineering and the sciences.- A preview of the next IBM-PC version of muMATH.- Current developments in LISP.- Computer algebra as a research tool in physics.- Symbolic computation and chemistry.- Computational geometry: Selected algorithms and paradigms.- Algebraic and symbolic computation in digital signal processing, coding and cryptography.- Computer algebra and practical analysis.- A new arithmetic for scientific computation with exact evaluation of expressions.- Algorithmic methods in automatic programming.- Proof theory and the synthesis of programs: Potential and limitations.- Constructions: A higher order proof system for mechanizing mathematics.- Scientific computation: The integration of symbolic, numeric and graphic computation.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662206099
ISBN 13 
9783662206096
Reliure
Broché
Nombre de pages
244
Coordonnées du fabricant
KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

Autres éditions populaires du même titre

9783540159834: EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures

Edition présentée

ISBN 10 :  3540159835 ISBN 13 :  9783540159834
Editeur : Springer, 2008
Couverture souple