{"product_id":"eurocal-85-european-conference-on-computer-algebra-linz-austria-april-1-3-1985-proceedings-volume-1-invited-lectures-von-bruno-buchberger-hrsg","title":"EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings","description":"\u003cp\u003eComputer 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540159834\"\u003e\u003ch3\u003eVolume 1: Invited Lectures\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540159834","offer_id":39425374027869,"sku":"9783540159834","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/311f1913-8901-4ca3-bb16-f0702f360dfc.jpg?v=1782450352","url":"https:\/\/shop.autorenwelt.de\/products\/eurocal-85-european-conference-on-computer-algebra-linz-austria-april-1-3-1985-proceedings-volume-1-invited-lectures-von-bruno-buchberger-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}