Reduce

Software for Algebraic Computation

Author: Gerhard Rayna

Publisher: Springer Science & Business Media

ISBN: 146124806X

Category: Computers

Page: 329

View: 6027

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

DOWNLOAD NOW »

Einführung in die Geometrie und Topologie

Author: Werner Ballmann

Publisher: Springer-Verlag

ISBN: 3034809018

Category: Mathematics

Page: 162

View: 9595

DOWNLOAD NOW »

Das Buch bietet eine Einführung in die Topologie, Differentialtopologie und Differentialgeometrie. Es basiert auf Manuskripten, die in verschiedenen Vorlesungszyklen erprobt wurden. Im ersten Kapitel werden grundlegende Begriffe und Resultate aus der mengentheoretischen Topologie bereitgestellt. Eine Ausnahme hiervon bildet der Jordansche Kurvensatz, der für Polygonzüge bewiesen wird und eine erste Idee davon vermitteln soll, welcher Art tiefere topologische Probleme sind. Im zweiten Kapitel werden Mannigfaltigkeiten und Liesche Gruppen eingeführt und an einer Reihe von Beispielen veranschaulicht. Diskutiert werden auch Tangential- und Vektorraumbündel, Differentiale, Vektorfelder und Liesche Klammern von Vektorfeldern. Weiter vertieft wird diese Diskussion im dritten Kapitel, in dem die de Rhamsche Kohomologie und das orientierte Integral eingeführt und der Brouwersche Fixpunktsatz, der Jordan-Brouwersche Zerlegungssatz und die Integralformel von Stokes bewiesen werden. Das abschließende vierte Kapitel ist den Grundlagen der Differentialgeometrie gewidmet. Entlang der Entwicklungslinien, die die Geometrie der Kurven und Untermannigfaltigkeiten in Euklidischen Räumen durchlaufen hat, werden Zusammenhänge und Krümmung, die zentralen Konzepte der Differentialgeometrie, diskutiert. Den Höhepunkt bilden die Gaussgleichungen, die Version des theorema egregium von Gauss für Untermannigfaltigkeiten beliebiger Dimension und Kodimension. Das Buch richtet sich in erster Linie an Mathematik- und Physikstudenten im zweiten und dritten Studienjahr und ist als Vorlage für ein- oder zweisemestrige Vorlesungen geeignet.

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

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

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: D. Stauffer,Friedrich W. Hehl,Nobuyasu Ito,Volker Winkelmann,John G. Zabolitzky

Publisher: Springer Science & Business Media

ISBN: 3642781179

Category: Computers

Page: 287

View: 3580

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: AISMC-2,International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence

Publisher: Springer Science & Business Media

ISBN: 9783540601562

Category: Computers

Page: 275

View: 3904

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

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

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

DOWNLOAD NOW »

Computer Algebra in Scientific Computing

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

Author: Vladimir P. Gerdt

Publisher: Springer Science & Business Media

ISBN: 3642152732

Category: Computers

Page: 304

View: 978

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.

Algorithms for Computer Algebra

Author: Keith O. Geddes,Stephen R. Czapor,George Labahn

Publisher: Springer Science & Business Media

ISBN: 0585332479

Category: Computers

Page: 586

View: 6361

DOWNLOAD NOW »

Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such problems as multivariate polynomial arithmetic and greatest common divisor calculations, factorization of multivariate polynomials, symbolic solution of linear and polynomial systems of equations, and analytic integration of elementary functions. Numerous examples are integrated into the text as an aid to understanding the mathematical development. The algorithms developed for each topic are presented in a Pascal-like computer language. An extensive set of exercises is presented at the end of each chapter. Algorithms for Computer Algebra is suitable for use as a textbook for a course on algebraic algorithms at the third-year, fourth-year, or graduate level. Although the mathematical development uses concepts from modern algebra, the book is self-contained in the sense that a one-term undergraduate course introducing students to rings and fields is the only prerequisite assumed. The book also serves well as a supplementary textbook for a traditional modern algebra course, by presenting concrete applications to motivate the understanding of the theory of rings and fields.

Computer Algebra and Symbolic Computation

Elementary Algorithms

Author: Joel S. Cohen

Publisher: A K Peters/CRC Press

ISBN: 9781568811581

Category: Mathematics

Page: 323

View: 3100

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.

Polynomial Algorithms in Computer Algebra

Author: Franz Winkler

Publisher: Springer Science & Business Media

ISBN: 3709165717

Category: Mathematics

Page: 270

View: 6368

DOWNLOAD NOW »

For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares. In the summers of 1990 and 1992 I have organized and taught summer schools in computer algebra at the Universitat Linz. Gradually a set of course notes has emerged from these activities. People have asked me for copies of the course notes, and different versions of them have been circulating for a few years. Finally I decided that I should really take the time to write the material up in a coherent way and make a book out of it. Here, now, is the result of this work. Over the years many students have been helpful in improving the quality of the notes, and also several colleagues at Linz and elsewhere have contributed to it. I want to thank them all for their effort, in particular I want to thank B. Buchberger, who taught me the theory of Grabner bases nearly two decades ago, B. F. Caviness and B. D. Saunders, who first stimulated my interest in various problems in computer algebra, G. E. Collins, who showed me how to compute in algebraic domains, and J. R. Sendra, with whom I started to apply computer algebra methods to problems in algebraic geometry. Several colleagues have suggested improvements in earlier versions of this book. However, I want to make it clear that I am responsible for all remaining mistakes.