EUROCAL '85 [electronic resource] : European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures / edited by Bruno Buchberger.

Contributor(s): Buchberger, Bruno [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 203Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Description: VIII, 236 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540396840Subject(s): Computer science | Computer Science | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No titleDDC classification: 005.131 LOC classification: QA8.9-QA10.3Online resources: Click here to access online
Contents:
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK4689

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha