Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 1985
Genre:	Schulbücher
	Algebra / Algorithms / computeralgebra / EDV / Theorie / Informatik / Mathematik / Proof / ProofTheory
ISBN:	9783540159834
EAN-Code:	9783540159834
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 14 mm
Gewicht:	376 gr
Seiten:	244
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.