Software for Algebraic Computation

Author: Gerhard Rayna

Publisher: Springer Science & Business Media

ISBN: 146124806X

Category: Computers

Page: 329

View: 6830


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.


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: 4386


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: 1092


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: 2880


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: 8513


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: 3773


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: 2106


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).

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: 9942


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: 7008


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: 2816


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: 5902


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.

REDUCE for Physicists

Author: N MacDonald

Publisher: CRC Press

ISBN: 9780750302777

Category: Science

Page: 168

View: 3558


The use of computer algebra systems in science and engineering has grown rapidly as more people realize their potential to solve tedious and extensive mathematical problems. REDUCE for Physicists provides a comprehensive introduction to one of the most widely available and simple to use computer algebra systems, focusing primarily on the needs of physicists. As a means of performing symbolic computation, REDUCE reduces tedious manual algebraic calculations and the dangers of casual errors. Each chapter introduces some aspects of REDUCE and illustrates them with applications from various branches of physics including mechanics, dynamics, dimensional analysis, quantum mechanics, and plasma physics. Emphasizing hands-on work with REDUCE to tackle real physical problems, the book includes exercises to test understanding throughout. Students and researchers in the physical sciences and engineering using REDUCE for the first time will find this book an invaluable aid to learning.

Computer - Human Interaction in Symbolic Computation

Author: Norbert Kajler

Publisher: Springer Science & Business Media

ISBN: 3709164613

Category: Computers

Page: 212

View: 3352


The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts of the world. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable. The author was very glad he attended the workshop. * In thinking back over the conference and in reading the papers in this collection, the author feels there are perhaps four major conclusions to be drawn from the current state of work: 1. graphics is very important, but such features should be made as easy to use as possible; 2. symbolic mathematical computation is very powerful, but the user must be able to see "intermediate steps"; 3. system design has made much progress, but for semester-long coursework and book-length productions we need more tools to help composition and navigation; 4. monolithic systems are perhaps not the best direction for the future, as different users have different needs and may have to link together many kinds of tools. The editor of this volume and the authors of the papers presented here have also reached and documented similar conclusions.