EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Volume 1: Invited Lectures

Häftad, Engelska, 1985

Av Bruno Buchberger

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-10-01
Mått155 x 235 x 14 mm
Vikt376 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor236
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540159834

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

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.

Du kanske också är intresserad av

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

709 kr

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

709 kr

Hagenberg Research

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

2 169 kr

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

729 kr

Artificial Intelligence — Eine Einführung

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

659 kr

Computer Aided Systems Theory - EUROCAST 2001

Computer Aided Systems Theory - EUROCAST 2001

Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire

1 439 kr

Mathematik für Informatiker I

Mathematik für Informatiker I

Bruno Buchberger, F. Lichtenberger

729 kr

Mathematical Knowledge Management

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

709 kr

Hagenberg Research

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

2 159 kr

Gröbner Bases and Applications

Del 251

Gröbner Bases and Applications

Burchberger Winkler, Burchberger/Winkler, Bruno Buchberger, Franz Winkler, Bruno (Johannes Kepler Universitat Linz) Buchberger, Franz (Johannes Kepler Universitat Linz) Winkler

1 869 kr