Fundamental Problems of Algorithmic Algebra by Chee Keng Yap

By Chee Keng Yap

Well known machine algebra platforms resembling Maple, Macsyma, Mathematica, and decrease at the moment are simple instruments on such a lot pcs. effective algorithms for varied algebraic operations underlie these kinds of structures. laptop algebra, or algorithmic algebra, stories those algorithms and their homes and represents a wealthy intersection of theoretical computing device technological know-how with classical arithmetic. basic difficulties of Algorithmic Algebra offers a scientific and centred therapy of a set of middle problemsthe computational equivalents of the classical primary challenge of Algebra and its derivatives. issues lined comprise the GCD, subresultants, modular concepts, the basic theorem of algebra, roots of polynomials, Sturm conception, Gaussian lattice aid, lattices and polynomial factorization, linear platforms, removal thought, Grobner bases, and extra. positive aspects · provides algorithmic rules in pseudo-code in line with mathematical thoughts and will be used with any laptop arithmetic approach · Emphasizes the algorithmic points of difficulties with no sacrificing mathematical rigor · goals to be self-contained in its mathematical improvement · excellent for a primary direction in algorithmic or computing device algebra for complicated undergraduates or starting graduate scholars

Show description

Read or Download Fundamental Problems of Algorithmic Algebra PDF

Similar discrete mathematics books

Complexity: Knots, Colourings and Countings

According to lectures on the complicated examine Institute of Discrete utilized arithmetic in June 1991, those notes hyperlink algorithmic difficulties coming up in knot conception, statistical physics and classical combinatorics for researchers in discrete arithmetic, computing device technological know-how and statistical physics.

Mathematical programming and game theory for decision making

This edited booklet offers contemporary advancements and state of the art overview in quite a few components of mathematical programming and online game thought. it's a peer-reviewed study monograph below the ISI Platinum Jubilee sequence on Statistical technological know-how and Interdisciplinary study. This quantity offers a wide ranging view of thought and the functions of the tools of mathematical programming to difficulties in facts, finance, video games and electric networks.

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

HOL is an explanation improvement approach meant for functions to either and software program. it truly is largely utilized in methods: for at once proving theorems, and as theorem-proving aid for application-specific verification structures. HOL is presently being utilized to a large choice of difficulties, together with the specification and verification of serious structures.

Algebra und Diskrete Mathematik

Band 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra. Band 2 Lineare Optimierung, Graphen und Algorithmen, Algebraische Strukturen und Allgemeine Algebra mit Anwendungen

Extra info for Fundamental Problems of Algorithmic Algebra

Sample text

Lagarias. Worst-case complexity bounds for algorithms in the theory of integral quadratic forms. J. of Algorithms, 1:184–186, 1980. [109] S. Landau. Factoring polynomials over algebraic number fields. SIAM J. Computing, 14:184– 195, 1985. [110] S. Landau and G. L. Miller. Solvability by radicals in polynomial time. J. of Computer and System Sciences, 30:179–208, 1985. [111] S. Lang. Algebra. Addison-Wesley, Boston, 3rd edition, 1971. [112] L. Langemyr. Computing the GCD of two polynomials over an algebraic number field.

A slight improvement (attributed to Karp in his lectures) is to compute each Wi (i = 0, . . , 2K − 1) in two parts: let M := 22·2 + 1 and M := K. Since M , M are relatively prime c Chee-Keng Yap March 6, 2000 §5. Matrix Multiplication Lecture I Page 37 and Wi < M M , it follows that if we have computed Wi := Wi mod M and Wi := Wi mod M , then we can recover Wi using the Chinese remainder theorem (Lecture IV). It turns out that computing all the Wi ’s and the reconstruction of Wi from Wi , Wi can be accomplished in linear time.

Suppose DFT(a) = (A0 , . . , An−1 )T and DFT(b) = (B0 , . . , Bn−1 )T . Let C = (C0 , . . , Cn−1 )T where Ci = Ai Bi . From the evaluation interpretation of DFT, it follows that Ci is the value of the polynomial R(X) = P (X)Q(X) at X = ω i . Note that deg(R) ≤ n − 1. 1). Since DFT−1 and DFT are inverses, we conclude that DFT−1 (C) is the coefficient vector of R(X). We have thus given an interpretion for the left-hand side of (2). But the right-hand side of (2) is also equal to the coefficient vector of R(X), by the polynomial multiplication interpretation of convolution.

Download PDF sample

Rated 4.79 of 5 – based on 33 votes