Computers and Mathematics /
Advances in computer technology have had a tremendous impact on mathematics in the last two decades. In June of 1989, an international conference was held at MIT, bringing together mathematicians and computer scientists, to survey the work that has been done in computational mathematics, to report r...
| Main Author: | Kaltofen, Erich |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Watt, Stephen M. |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer US,
1989.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Applications of Computer Algebra /
by: Pavelle, Richard
Published: (1985)
by: Pavelle, Richard
Published: (1985)
Sensation and Measurement : Papers in Honor of S.S. Stevens /
by: Moskowitz, Howard R.
Published: (1974)
by: Moskowitz, Howard R.
Published: (1974)
Advances in the Design of Symbolic Computation Systems /
by: Miola, Alfonso
Published: (1997)
by: Miola, Alfonso
Published: (1997)
Effective Polynomial Computation /
by: Zippel, Richard
Published: (1993)
by: Zippel, Richard
Published: (1993)
Computer Algebra with LISP and REDUCE : an Introduction to Computer-aided Pure Mathematics /
by: Brackx, F.
Published: (1991)
by: Brackx, F.
Published: (1991)
Computer Algebra Recipes : A Gourmet's Guide to the Mathematical Models of Science /
by: Enns, Richard H.
Published: (2001)
by: Enns, Richard H.
Published: (2001)
Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)
by: Winkler, Franz
Published: (1996)
Computer algebra and symbolic computation : mathematical methods /
by: Cohen, Joel S.
Published: (2003)
by: Cohen, Joel S.
Published: (2003)
Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)
by: Baeten, J. C. M.
Published: (2002)
Topics in Computational Algebra /
by: Cattaneo, G. M. Piacentini
Published: (1990)
by: Cattaneo, G. M. Piacentini
Published: (1990)
Universal Algebra for Computer Scientists /
by: Wechler, Wolfgang
Published: (1992)
by: Wechler, Wolfgang
Published: (1992)
LISP Lore: A Guide to Programming the LISP Machine /
by: Bromley, Hank
Published: (1987)
by: Bromley, Hank
Published: (1987)
Lisp Lore: A Guide to Programming the Lisp Machine /
by: Bromley, Hank
Published: (1986)
by: Bromley, Hank
Published: (1986)
Applied Laplace Transforms and z-Transforms for Scientists and Engineers : A Computational Approach using a Mathematica Package /
by: Graf, Urs
Published: (2004)
by: Graf, Urs
Published: (2004)
Pi - Unleashed /
by: Arndt, Jörg
Published: (2001)
by: Arndt, Jörg
Published: (2001)
Tool Support for System Specification, Development and Verification /
by: Berghammer, Rudolf
Published: (1999)
by: Berghammer, Rudolf
Published: (1999)
Ten Lectures on Statistical and Structural Pattern Recognition /
by: Schlesinger, Michail I.
Published: (2002)
by: Schlesinger, Michail I.
Published: (2002)
Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)
by: Fokkink, Wan
Published: (2000)
Finiteness and Regularity in Semigroups and Formal Languages /
by: Luca, Aldo
Published: (1999)
by: Luca, Aldo
Published: (1999)
Advanced Relational Programming /
by: Cacace, Filippo
Published: (1996)
by: Cacace, Filippo
Published: (1996)
Parallel Algorithms for Irregular Problems: State of the Art /
by: Ferreira, Afonso
Published: (1995)
by: Ferreira, Afonso
Published: (1995)
SymbolicC++ : an Introduction to Computer Algebra using Object-Oriented Programming /
by: Shi, Tan Kiat
Published: (2000)
by: Shi, Tan Kiat
Published: (2000)
Applications of Computer Technology to Dynamical Astronomy : Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27-29 July 1988 /
by: Seidelmann, P. Kenneth
Published: (1989)
by: Seidelmann, P. Kenneth
Published: (1989)
Maple V programming guide /
Published: (1998)
Published: (1998)
Symbolic Algebraic Methods and Verification Methods /
by: Alefeld, Götz
Published: (2001)
by: Alefeld, Götz
Published: (2001)
Petri Net Algebra /
by: Best, Eike
Published: (2001)
by: Best, Eike
Published: (2001)
Introduction to Maple /
by: Heck, A. (André)
Published: (2003)
by: Heck, A. (André)
Published: (2003)
Symbolic Asymptotics /
by: Shackell, John R.
Published: (2004)
by: Shackell, John R.
Published: (2004)
Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings /
Published: (1992)
Published: (1992)
Probabilistic Methods for Algorithmic Discrete Mathematics /
by: Habib, M. (Michel)
Published: (1998)
by: Habib, M. (Michel)
Published: (1998)
Thirty Five Years of Automating Mathematics /
by: Kamareddine, Fairouz D.
Published: (2003)
by: Kamareddine, Fairouz D.
Published: (2003)
Some Tapas of Computer Algebra /
by: Cohen, Arjeh M.
Published: (1999)
by: Cohen, Arjeh M.
Published: (1999)
Resolution Proof Systems : An Algebraic Theory /
by: Stachniak, Zbigniew
Published: (1996)
by: Stachniak, Zbigniew
Published: (1996)
Proceedings of the 1977 MACSYMA Users' Conference /
Published: (1977)
Published: (1977)
Elimination Methods /
by: Wang, Dongming
Published: (2001)
by: Wang, Dongming
Published: (2001)
Geometric Modelling : Dagstuhl 1993 /
by: Hagen, H.
Published: (1995)
by: Hagen, H.
Published: (1995)
Geometric Modelling /
by: Farin, G.
Published: (1993)
by: Farin, G.
Published: (1993)
Computer-Supported Calculus /
by: Ben-Israel, Adi
Published: (2002)
by: Ben-Israel, Adi
Published: (2002)
Commutative Algebra, Singularities and Computer Algebra : Proceedings of the NATO Advanced Research Workshop on Commutative Algebra, Singularities and Computer Algebra Sinaia, Romania 17-22 September 2002 /
by: Herzog, Jürgen, 1941-
Published: (2003)
by: Herzog, Jürgen, 1941-
Published: (2003)
A Singular Introduction to Commutative Algebra /
by: Greuel, G.-M. (Gert-Martin)
Published: (2002)
by: Greuel, G.-M. (Gert-Martin)
Published: (2002)