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

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985
• Edizione: 1st ed. 1985.
• Descrizione fisica: 1 online resource (VIII, 236 p.)
• Disciplina: 005.131
• Soggetto topico: Mathematical logic; Mathematical Logic and Formal Languages
• Persona (resp. second.): BuchbergerBruno
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
• ISBN: 3-540-39684-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466140603316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 203