Polynomial Algorithms In Computer Algebra

Author: Franz Winkler
Publisher: Springer Science & Business Media
ISBN: 9783709165713
Size: 10.24 MB
Format: PDF
View: 41

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.

Computer Algebra

Author: B. Buchberger
Publisher: Springer Science & Business Media
ISBN: 9783709134061
Size: 12.52 MB
Format: PDF, Mobi
View: 23

The journal Computing has established a series of supplement volumes the fourth of which appears this year. Its purpose is to provide a coherent presentation of a new topic in a single volume. The previous subjects were Computer Arithmetic 1977, Fundamentals of Numerical Computation 1980, and Parallel Processes and Related Automata 1981; the topic of this 1982 Supplementum to Computing is Computer Algebra. This subject, which emerged in the early nineteen sixties, has also been referred to as "symbolic and algebraic computation" or "formula manipulation". Algebraic algorithms have been receiving increasing interest as a result of the recognition of the central role of algorithms in computer science. They can be easily specified in a formal and rigorous way and provide solutions to problems known and studied for a long time. Whereas traditional algebra is concerned with constructive methods, computer algebra is furthermore interested in efficiency, in implementation, and in hardware and software aspects of the algorithms. It develops that in deciding effectiveness and determining efficiency of algebraic methods many other tools - recursion theory, logic, analysis and combinatorics, for example - are necessary. In the beginning of the use of computers for symbolic algebra it soon became apparent that the straightforward textbook methods were often very inefficient. Instead of turning to numerical approximation methods, computer algebra studies systematically the sources of the inefficiency and searches for alternative algebraic methods to improve or even replace the algorithms.


Author: Wolfram Koepf
Publisher: Springer-Verlag
ISBN: 9783540298953
Size: 13.44 MB
Format: PDF, Docs
View: 23

Das Lehrbuch führt in das Gebiet der Computeralgebra ein. Neben dem Standardkanon behandelt es Themen für weiterführende Vorlesungen, die bislang nicht in Lehrbuchform erschienen sind. Durch den Einsatz realer Implementierungen anstelle von Pseudocode sind die Algorithmen sofort anwendbar und überprüfbar. Verwendbar mit Mathematica, Maple oder MuPAD. Durch den ausführlichen Index empfiehlt sich der Band auch als Nachschlagewerk.

Computer Algebra Recipes

Author: Richard H. Enns
Publisher: Springer Science & Business Media
ISBN: 0387493336
Size: 20.87 MB
Format: PDF, Mobi
View: 95

This book presents a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking. No prior knowledge of MAPLE is necessary. All relevant commands are introduced on a need-to-know basis and are indexed for easy reference. Each recipe features a scientific model or method and an interesting or amusing story designed to both entertain and enhance concept comprehension and retention.

Computer Algebra With Symbolicc

Author: Yorick Hardy
Publisher: World Scientific
ISBN: 9789812833600
Size: 13.77 MB
Format: PDF, Docs
View: 38

First published in 1973 Professor Akensone(tm)s book traces the series of religious and political controversies which have battered the state schools of Northern Ireland. After the governmente(tm)s admirably intentioned, but muddled, attempt to create a non-sectarian school system in the early 1920s, the educational system was progressively manipulated by sectarianism. The way in which the author describes how children are schooled reveals a great deal about the attitudes and values of the parental generation and also helps to explain the actions of later generations.

Computer Algebra In Scientific Computing Casc 2001

Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 9783642566660
Size: 13.47 MB
Format: PDF
View: 14

CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.

Modern Computer Algebra

Author: Joachim von zur Gathen
Publisher: Cambridge University Press
ISBN: 9781107245259
Size: 17.81 MB
Format: PDF
View: 77

Computer algebra systems are now ubiquitous in all areas of science and engineering. This highly successful textbook, widely regarded as the 'bible of computer algebra', gives a thorough introduction to the algorithmic basis of the mathematical engine in computer algebra systems. Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students in computer science or mathematics, its comprehensiveness and reliability has also made it an essential reference for professionals in the area. Special features include: detailed study of algorithms including time analysis; implementation reports on several topics; complete proofs of the mathematical underpinnings; and a wide variety of applications (among others, in chemistry, coding theory, cryptography, computational logic, and the design of calendars and musical scales). A great deal of historical information and illustration enlivens the text. In this third edition, errors have been corrected and much of the Fast Euclidean Algorithm chapter has been renovated.