Reduce

Software for Algebraic Computation

Author: Gerhard Rayna

Publisher: Springer Science & Business Media

ISBN: 146124806X

Category: Computers

Page: 329

View: 6780

DOWNLOAD NOW »

CONTRIBUTED BY DR. ANTHONY C. HEARN THE RAND CORPORATION, SANTA MONICA, CALIFORNIA REDUCE is a computer program for algebraic computation that IS III world-wide use by thousands of scientists, engineers, and mathematicians. Although it traces its beginnings to 1963, until recently it has only been available on main-frame computers because of its relatively large resource requirements. In 1980 I predicted (1) that by the mid-1980's it would be possible to obtain personal computers in the $10,000 $20,000 range capable of running REDUCE. I am therefore delighted to see that machines of the power of the IBM PC can now run this system, even though these computers are more modestly priced than my 1980 vision of the personal algebra machine. In addition to the need for the more widespread access that personal computers can now provide, there has been a longstanding need for a textbook to help the beginning user become better acquainted with the system. I am therefore very glad that Dr. Rayna has undertaken to write such a book, just as the era of the REDUCE personal algebra machine is beginning. In order to understand the nature of REDUCE, a little history is in order. In 1963 I met Dr. John McCarthy, the inventor of LISP.

REDUCE

Ein Kompaktkurs über die Anwendung von Computer-Algebra

Author: Friedrich W Hehl,Volker Winkelmann,Hartmut Meyer

Publisher: Springer-Verlag

ISBN: 3642782272

Category: Science

Page: 143

View: 6316

DOWNLOAD NOW »

REDUCE

Ein Kompaktkurs über die Anwendung von Computer-Algebra

Author: Friedrich W Hehl,Volker Winkelmann,Hartmut Meyer

Publisher: Springer-Verlag

ISBN: 3642782272

Category: Science

Page: 143

View: 1825

DOWNLOAD NOW »

The Symbolic Computation of Integrability Structures for Partial Differential Equations

Author: Joseph Krasil'shchik,Alexander Verbovetsky,Raffaele Vitolo

Publisher: Springer

ISBN: 3319716557

Category: Mathematics

Page: 263

View: 6911

DOWNLOAD NOW »

This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a huge number of situations through tutorials. The mathematical part of the book is a new approach to integrability structures that allows to treat all of them in a unified way. The software is an official package of Reduce. Reduce is free software, so everybody can download it and make experiments using the programs available at our website.

Computer Simulation and Computer Algebra

Lectures for Beginners

Author: Dietrich Stauffer,Friedrich W Hehl,Nobuyasu Ito,Volker Winkelmann,John G. Zabolitzky

Publisher: Springer Science & Business Media

ISBN: 3642781179

Category: Computers

Page: 287

View: 5616

DOWNLOAD NOW »

Computer Simulation and Computer Algebra. Starting from simple examples in classical mechanics, these introductory lectures proceed to simulations in statistical physics (using FORTRAN) and then explain in detail the use of computer algebra (by means of Reduce). This third edition takes into account the most recent version of Reduce (3.4.1) and updates the description of large-scale simulations to subjects such as the 170000 X 170000 Ising model. Furthermore, an introduction to both vector and parallel computing is given.

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers

Author: Jacques Calmet,AISMC-2,International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence

Publisher: Springer Science & Business Media

ISBN: 9783540601562

Category: Computers

Page: 275

View: 4498

DOWNLOAD NOW »

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.

Symbolic and Algebraic Computation

International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings

Author: Patrizia Gianni

Publisher: Springer Science & Business Media

ISBN: 9783540510840

Category: Computers

Page: 543

View: 9904

DOWNLOAD NOW »

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.

Design and Implementation of Symbolic Computation Systems

International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Author: John Fitch

Publisher: Springer Science & Business Media

ISBN: 9783540572725

Category: Computers

Page: 214

View: 9516

DOWNLOAD NOW »

DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project).

Symbolic computation

directions for future research : report of a workshop on symbolic and algebraic computation, April 29-30, 1988, Washington, DC

Author: Anthony C. Hearn,Ann Boyle,B. F. Caviness

Publisher: N.A

ISBN: N.A

Category:

Page: 75

View: 1822

DOWNLOAD NOW »

Applications of Computer Algebra

Author: Richard Pavelle

Publisher: Springer Science & Business Media

ISBN: 146846888X

Category: Computers

Page: 448

View: 3683

DOWNLOAD NOW »

Today, certain computer software systems exist which surpass the computational ability of researchers when their mathematical techniques are applied to many areas of science and engineering. These computer systems can perform a large portion of the calculations seen in mathematical analysis. Despite this massive power, thousands of people use these systems as a routine resource for everyday calculations. These software programs are commonly called "Computer Algebra" systems. They have names such as MACSYMA, MAPLE, muMATH, REDUCE and SMP. They are receiving credit as a computational aid with in creasing regularity in articles in the scientific and engineering literature. When most people think about computers and scientific research these days, they imagine a machine grinding away, processing numbers arithmetically. It is not generally realized that, for a number of years, computers have been performing non-numeric computations. This means, for example, that one inputs an equa tion and obtains a closed form analytic answer. It is these Computer Algebra systems, their capabilities, and applications which are the subject of the papers in this volume.

Computer Algebra in Scientific Computing

12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Author: Vladimir P. Gerdt,Wolfram Koepf,Ernst W. Mayr,Evgenii V. Vorozhtsov

Publisher: Springer Science & Business Media

ISBN: 3642152732

Category: Computers

Page: 304

View: 1777

DOWNLOAD NOW »

This book constitutes the refereed proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing, CASC 2010, held in Tsakhadzor, Armenia, in September 2010. The book includes two invited talks and an abstract in addition to 23 full papers.

Computer Algebra and Symbolic Computation

Elementary Algorithms

Author: Joel S. Cohen

Publisher: A K Peters/CRC Press

ISBN: 9781568811581

Category: Mathematics

Page: 323

View: 9283

DOWNLOAD NOW »

This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and construct expressions, we can implement many elementary operations from algebra, trigonometry, calculus, and differential equations. With a minimum of prerequisites this book is accessible to and useful for students of mathematics, computer science, and other technical fields. The book contains a CD with the full, searchable text and implementations of all algorithms in the Maple, Mathematica, and MuPad programming languages.

Invertible Point Transformations and Nonlinear Differential Equations

Author: W.-H. Steeb

Publisher: World Scientific

ISBN: 9789810213558

Category: Mathematics

Page: 180

View: 8443

DOWNLOAD NOW »

The invertible point transformation is a powerful tool in the study of nonlinear differential and difference equations. This book gives a comprehensive introduction to this technique. Ordinary and partial differential equations are studied with this approach. The book also covers nonlinear difference equations. The connections with Lie symmetries, the Painlev‚ property, first integrals and the Cartan equivalence method are discussed in detail. Most of the evaluations are checked with the computer language REDUCE; the book includes 30 REDUCE programs. A short introduction to the jet bundle formalism is given.

Enabling Technologies for Computational Science

Frameworks, Middleware and Environments

Author: Elias N. Houstis,John R. Rice,Efstratios Gallopoulos,Randall Bramley

Publisher: Springer Science & Business Media

ISBN: 9780792378099

Category: Computers

Page: 402

View: 9352

DOWNLOAD NOW »

Enabling Technologies for Computational Science assesses future application computing needs, identifies research directions in problem-solving environments (PSEs), addresses multi-disciplinary environments operating on the Web, proposes methodologies and software architectures for building adaptive and human-centered PSEs, and describes the role of symbolic computing in scientific and engineering PSEs. The book also includes an extensive bibliography of over 400 references. Enabling Technologies for Computational Science illustrates the extremely broad and interdisciplinary nature of the creation and application of PSEs. Authors represent academia, government laboratories and industry, and come from eight distinct disciplines (chemical engineering, computer science, ecology, electrical engineering, mathematics, mechanical engineering, psychology and wood sciences). This breadth and diversity extends into the computer science aspects of PSEs. These papers deal with topics such as artificial intelligence, computer-human interaction, control, data mining, graphics, language design and implementation, networking, numerical analysis, performance evaluation, and symbolic computing. Enabling Technologies for Computational Science provides an assessment of the state of the art and a road map to the future in the area of problem-solving environments for scientific computing. This book is suitable as a reference for scientists from a variety of disciplines interested in using PSEs for their research.

Computer alegebra and symbolic computation

mathematical methods

Author: Joel S. Cohen

Publisher: A K Peters, Ltd.

ISBN: 9781568811598

Category: Mathematics

Page: 448

View: 1611

DOWNLOAD NOW »

This text: is well-suited for self-study and can be used as the basis for an advanced undergraduate or beginning graduate course; maintains the style set by Elementary Algorithms; introduces advanced methods to treat complex operations; presents implementations in such programs as Mathematica, Maple, and MuPAD; and includes a CD with the complete text, hyperlinks, and algorithms as well as additional reference files. For the student, Mathematical Methods is an essential companion to Elementary Algorithms, illustrating applications of basic ideas. For the professional, Mathematical Methods is a look at new applications of familiar concepts.