COMPUTER ALGEBRA, Algorithms, Systems and Applications
Total Page:16
File Type:pdf, Size:1020Kb
COMPUTER ALGEBRA Algorithms Systems and Applications Richard Liska Ladislav Drska Jiri Limp ouch Milan Sinor Michael Wester Franz Winkler February Contents Intro duction What are algebraic calculations Why do algebraic calculations History Chronology of computer algebra systems Algorithms for algebraic computation Algebraic structures Numb er domains Algebraic expression domains Representation of algebraic structures Representation of integers Representation of p olynomials Representation of Expressions Arithmetic Numeric vs symb olic arithmetic Arithmetic of integers Arithmetic of p olynomials Simplication Canonical simplication on algebraic domains Complexity of expressions Greatest common divisor GCD of integers GCD of p olynomials with rational co ecients GCD of p olynomials with integer co ecients Resultant Solving p olynomial equations Dierentiation Summation Simple example Gosp er algorithm Examples using the Gosp er algorithm Integration Integration of rational functions Integration of elementary transcendental functions Integration examples Ordinary dierential equations Polynomial factorization Quantier elimination Integrated mathematical systems Computer algebra systems Peculiarities of programming in computer algebra systems Expression Swell An Example of Expression Swell An Example of Intermediate Expression Swell Expression Size Another Example of Intermediate Expression Swell Expression Swell Analysis Basic p ossibilities of integrated mathematical systems Axiom Numb er domains Polynomials Rational functions Solving equations Analytical op erations Matrices Graphics Derive Numb er domains Polynomials Rational functions Solving equations Analytical op erations Matrices Graphics Macsyma Numb er domains Polynomials Rational functions Solving equations Analytical op erations Matrices Co de generation Graphics Graphical presentation of formulas Maple Numb er domains Polynomials Rational functions Solving equations Analytical op erations Matrices Graphics .