EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1 3 1985 : proceedings Vol. 1, invited lectures
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
203 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • EUROCAL'85, Vol. 1, EUROPEAN CONFERENCE ON COMPUTER ALGEBRA, Berlin, Springer, 1985, 1 vol. (IV-233 p.), Lecture notes in computer science - LNCS, 3-540-15983-5 • EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings, Texte imprimé, 9783662206096 |
Πίνακας περιεχομένων:
- 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.