Computer algebra and practical analysis (English)
National licence
- New search for: Lehmann, N. J.
- New search for: Lehmann, N. J.
In:
EUROCAL '85
;
102-113
;
1985
- Article/Chapter (Book) / Electronic Resource
-
Title:Computer algebra and practical analysis
-
Contributors:Lehmann, N. J. ( author )
-
Published in:EUROCAL '85 ; 102-113Lecture Notes in Computer Science ; 203 ; 102-113
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1985-01-01
-
Size:12 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Computer algebra: Past and futureCaviness, B. F. et al. | 1985
- 19
-
MACSYMA: Capabilities and applications to problems in engineering and the sciencesPavelle, Richard et al. | 1985
- 33
-
A preview of the next IBM-PC version of muMATHStoutemyer, David R. et al. | 1985
- 45
-
Current developments in LISPPadget, Julian et al. | 1985
- 58
-
Computer algebra as a research tool in physicsDrouffe, J. -M. et al. | 1985
- 68
-
Symbolic computation and chemistryBalaban, Alexandru T. et al. | 1985
- 80
-
Computational geometry: Selected algorithms and paradigmsOttmann, Th. et al. | 1985
- 93
-
Algebraic and symbolic computation in digital signal processing, coding and cryptographyBeth, Thomas et al. | 1985
- 102
-
Computer algebra and practical analysisLehmann, N. J. et al. | 1985
- 114
-
A new arithmetic for scientific computation with exact evaluation of expressionsKulisch, Ulrich et al. | 1985
- 124
-
Algorithmic methods in automatic programmingBiermann, Alan W. et al. | 1985
- 136
-
Proof theory and the synthesis of programs: Potential and limitationsKreisel, G. et al. | 1985
- 151
-
Constructions: A higher order proof system for mechanizing mathematicsCoquand, Thierry / Huet, Gérard et al. | 1985
- 185
-
Scientific computation: The integration of symbolic, numeric and graphic computationEngeler, E. / Mäder, R. et al. | 1985