Download or read book Computing Polynomial Greatest Common Divisors Using Sparse Interpolation written by Jiaxiong Hu and published by . This book was released on 2018 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computing polynomial greatest common divisors (GCD) plays an important role in Computer Algebra systems because the GCD operation is the bottleneck of many basic applications. For example, to simplify a rational function one divides the numerator and denominator by their GCD. In 1988 Ben-Or and Tiwari introduced the first deterministic polynomial interpolation algorithm which accounts for sparsity. The number of evaluation points needed by the Ben-Or/Tiwari algorithm is linear in the number of non-zero terms in the target polynomial, and moreover, all variables can be interpolated simultaneously hence parallelizing the algorithm is easier. In this thesis, we present modular multivariate polynomial GCD algorithms based on Ben-Or/Tiwari sparse interpolation. They compute the GCD modulo one or more primes. We apply a Kronecker substitution to reduce the number of variables and we modify the Ben-Or/Tiwari evaluation point sequence so that we can use primes of acceptable size (machine primes) as well as gain randomness on the choice of evaluation points to avoid several known issues in polynomial GCD algorithms. Based on several assumptions, we first present a simplified algorithm for GCD computation in Z[x1, . . . , xn] from which we derive some theoretical bounds and convince the reader why it works. Then we present a practical version of the algorithm where those assumptions are dropped. This leads to a more complicated algorithm but it can be shown that it always terminates and it computes the GCD efficiently. In the 1980s, subsequent research in polynomial GCD algorithm mainly focused on polynomials over number fields. In this thesis, we also present a GCD algorithm for multivariate polynomials in Q(_)[x1, . . . , xn] where _ is an algebraic number. With a prime modulus p, all operations are performed in the finite ring Zp(_) where inversions may fail due to zero divisors. We manage to get all necessary bounds to support the correctness of our algorithm.

Download or read book Sparse Modular GCD Algorithm for Polynomials Over Algebraic Function Fields written by Seyed Mohammad Mahdi Javadi and published by . This book was released on 2006 with total page 70 pages. Available in PDF, EPUB and Kindle. Book excerpt: Keywords. Modular Algorithms, Zippel's Sparse Interpolation Algorithm, Polynomial Greatest Common Divisors.

Download or read book Computer Algebra in Scientific Computing written by François Boulier and published by Springer Nature. This book was released on 2023-08-23 with total page 441 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.

Download or read book A New Method for Computing Polynomial Greatest Common Divisors written by Alkiviadis G. Akritas and published by . This book was released on with total page 8 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Sparse Polynomial Interpolation and the Fast Euclidean Algorithm written by Su Ko and published by . This book was released on 2012 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt: We introduce an algorithm to interpolate sparse multivariate polynomials with integer coefficients. Our algorithm modifies Ben-Or and Tiwari's deterministic algorithm for interpolating over rings of characteristic zero to work modulo p, a smooth prime of our choice. We present benchmarks comparing our algorithm to Zippel's probabilistic sparse interpolation algorithm, demonstrating that our algorithm makes fewer probes for sparse polynomials. Our interpolation algorithm requires finding roots of a polynomial in GF(p)[x], which in turn requires an efficient polynomial GCD algorithm. Motivated by this observation, we review the Fast Extended Euclidean algorithm for univariate polynomials, which recursively computes the GCD using a divide-and-conquer approach. We present benchmarks for our implementation of the classical and fast versions of the Euclidean algorithm demonstrating a good speedup. We discuss computing resultants as an application of the fast GCD algorithm.

Download or read book Sparse Polynomial Interpolation and the Fast Euclidean Algorithm written by Soo Go and published by . This book was released on 2012 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt: We introduce an algorithm to interpolate sparse multivariate polynomials with integer coefficients. Our algorithm modifies Ben-Or and Tiwari's deterministic algorithm for interpolating over rings of characteristic zero to work modulo p, a smooth prime of our choice. We present benchmarks comparing our algorithm to Zippel's probabilistic sparse interpolation algorithm, demonstrating that our algorithm makes fewer probes for sparse polynomials. Our interpolation algorithm requires finding roots of a polynomial in GF(p)[x], which in turn requires an efficient polynomial GCD algorithm. Motivated by this observation, we review the Fast Extended Euclidean algorithm for univariate polynomials, which recursively computes the GCD using a divide-and-conquer approach. We present benchmarks for our implementation of the classical and fast versions of the Euclidean algorithm demonstrating a good speedup. We discuss computing resultants as an application of the fast GCD algorithm.

Download or read book Efficient Algorithms for Computations with Sparse Polynomials written by Seyed Mohammad Mahdi Javadi and published by . This book was released on 2011 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: The problem of interpolating a sparse polynomial has always been one of the central objects of research in the area of computer algebra. It is the key part of many algorithms such as polynomial GCD computation. We present a probabilistic algorithm to interpolate a sparse multivariate polynomial over a finite field, represented with a black box. Our algorithm modifies the Ben-Or/Tiwari algorithm from 1988 for interpolating polynomials over rings with characteristic zero to positive characteristics by doing additional probes. To interpolate a polynomial in n variables with t non-zero terms, Zippel's algorithm interpolates one variable at a time using O(ndt) probes to the black box where d bounds the degree of the polynomial. Our new algorithm does O(nt) probes. We provide benchmarks comparing our algorithm to Zippel's algorithm and the racing algorithm of Kaltofen/Lee. The benchmarks demonstrate that for sparse polynomials our algorithm often makes fewer probes. A key advantage in our new algorithm is, unlike the other two algorithms, it can be parallelized efficiently. Our main application for an efficient sparse interpolation algorithm is computing GCDs of polynomials. We are especially interested in polynomials over algebraic function fields. The best GCD algorithm available is SparseModGcd, presented by Javadi and Monagan in 2006. We further improve this algorithm in three ways. First we prove that we can eliminate the trial divisions in positive characteristic. Trial divisions are the bottleneck of the algorithm for denser polynomials. Second, we give a new (and correct) solution to the normalization problem. Finally we will present a new in-place library of functions for computing GCDs of univariate polynomials over algebraic number fields. Furthermore we present an efficient algorithm for factoring multivariate polynomials over algebraic fields with multiple field extensions and parameters. Our algorithm uses Hensel lifting and extends the EEZ algorithm of Wang which was designed for factorization over rationals. We also give a multivariate p-adic lifting algorithm which uses sparse interpolation. This enables us to avoid using poor bounds on the size of the integer coefficients in the factorization when using Hensel lifting. We provide timings demonstrating the efficiency of our algorithm.

Download or read book Computer Algebra in Scientific Computing written by Vladimir P. Gerdt and published by Springer. This book was released on 2013-08-15 with total page 457 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book. The papers address issues such as polynomial algebra; the solution of tropical linear systems and tropical polynomial systems; the theory of matrices; the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations (ODEs); applications of symbolic computations for solving partial differential equations (PDEs) in mathematical physics; problems arising at the application of computer algebra methods for finding infinitesimal symmetries; applications of symbolic and symbolic-numeric algorithms in mechanics and physics; automatic differentiation; the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing; the application of the CAS GAP for the enumeration of Schur rings over the group A5; constructive computation of zero separation bounds for arithmetic expressions; the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system; the use of object-oriented languages such as Java or Scala for implementation of categories as type classes; a survey of industrial applications of approximate computer algebra.

Download or read book Polynomial and Matrix Computations written by Dario Bini and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 433 pages. Available in PDF, EPUB and Kindle. Book excerpt: Our Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials). It greatly extends the study of these topics presented in the celebrated books of the seventies, [AHU] and [BM] (these topics have been under-represented in [CLR], which is a highly successful extension and updating of [AHU] otherwise). Compared to [AHU] and [BM] our volume adds extensive material on parallel com putations with general matrices and polynomials, on the bit-complexity of arithmetic computations (including some recent techniques of data compres sion and the study of numerical approximation properties of polynomial and matrix algorithms), and on computations with Toeplitz matrices and other dense structured matrices. The latter subject should attract people working in numerous areas of application (in particular, coding, signal processing, control, algebraic computing and partial differential equations). The au thors' teaching experience at the Graduate Center of the City University of New York and at the University of Pisa suggests that the book may serve as a text for advanced graduate students in mathematics and computer science who have some knowledge of algorithm design and wish to enter the exciting area of algebraic and numerical computing. The potential readership may also include algorithm and software designers and researchers specializing in the design and analysis of algorithms, computational complexity, alge braic and symbolic computing, and numerical computation.

Download or read book Computational and Algorithmic Problems in Finite Fields written by Igor Shparlinski and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents an exhaustive treatment of computation and algorithms for finite fields. Topics covered include polynomial factorization, finding irreducible and primitive polynomials, distribution of these primitive polynomials and of primitive points on elliptic curves, constructing bases of various types, and new applications of finite fields to other araes of mathematics. For completeness, also included are two special chapters on some recent advances and applications of the theory of congruences (optimal coefficients, congruential pseudo-random number generators, modular arithmetic etc.), and computational number theory (primality testing, factoring integers, computing in algebraic number theory, etc.) The problems considered here have many applications in computer science, coding theory, cryptography, number theory and discrete mathematics. The level of discussion presuppose only a knowledge of the basic facts on finite fields, and the book can be recommended as supplementary graduate text. For researchers and students interested in computational and algorithmic problems in finite fields.

Download or read book Numerical and Symbolic Scientific Computing written by Ulrich Langer and published by Springer Science & Business Media. This book was released on 2011-11-19 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the theme of linear partial differential equations. Major aspects are fast solvers in elastoplasticity, symbolic analysis for boundary problems, symbolic treatment of operators, computer algebra, and finite element methods, a symbolic approach to finite difference schemes, cylindrical algebraic decomposition and local Fourier analysis, and white noise analysis for stochastic partial differential equations. Further numerical-symbolic topics range from applied and computational geometry to computer algebra methods used for total variation energy minimization.

Download or read book Modern Computer Algebra written by Joachim von zur Gathen and published by Cambridge University Press. This book was released on 2013-04-25 with total page 811 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Computers in Mathematics written by V. Chudnovsky and published by CRC Press. This book was released on 2020-12-17 with total page 425 pages. Available in PDF, EPUB and Kindle. Book excerpt: Talks from the International Conference on Computers and Mathematics held July 29-Aug. 1, 1986, Stanford U. Some are focused on the past and future roles of computers as a research tool in such areas as number theory, analysis, special functions, combinatorics, algebraic geometry, topology, physics,

Download or read book Symbolic and Algebraic Computation written by Patrizia Gianni and published by Springer Science & Business Media. This book was released on 1989-08-23 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Applied Algebra Algebraic Algorithms and Error Correcting Codes written by Marc Fossorier and published by Springer. This book was released on 2003-07-31 with total page 516 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-13, held in Honolulu, Hawaii, USA in November 1999. The 42 revised full papers presented together with six invited survey papers were carefully reviewed and selected from a total of 86 submissions. The papers are organized in sections on codes and iterative decoding, arithmetic, graphs and matrices, block codes, rings and fields, decoding methods, code construction, algebraic curves, cryptography, codes and decoding, convolutional codes, designs, decoding of block codes, modulation and codes, Gröbner bases and AG codes, and polynomials.

Download or read book Computer Algebra 2006 written by Ilias Kotsireas and published by World Scientific. This book was released on 2007 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: Written by world-renowned experts, the book is a collection of tutorial presentations and research papers catering to the latest advances in symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. The papers were presented at a workshop celebrating the 60th birthday of Sergei Abramov (Russia), whose highly influential contributions to symbolic methods are adopted in many leading computer algebra systems.

Download or read book The Complexity of Robot Motion Planning written by John Canny and published by MIT Press. This book was released on 1988 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Complexity of Robot Motion Planning makes original contributions both to roboticsand to the analysis of algorithms. In this groundbreaking monograph John Canny resolveslong-standing problems concerning the complexity of motion planning and, for the central problem offinding a collision free path for a jointed robot in the presence of obstacles, obtains exponentialspeedups over existing algorithms by applying high-powered new mathematical techniques.Canny's newalgorithm for this "generalized movers' problem," the most-studied and basic robot motion planningproblem, has a single exponential running time, and is polynomial for any given robot. The algorithmhas an optimal running time exponent and is based on the notion of roadmaps - one-dimensionalsubsets of the robot's configuration space. In deriving the single exponential bound, Cannyintroduces and reveals the power of two tools that have not been previously used in geometricalgorithms: the generalized (multivariable) resultant for a system of polynomials and Whitney'snotion of stratified sets. He has also developed a novel representation of object orientation basedon unnormalized quaternions which reduces the complexity of the algorithms and enhances theirpractical applicability.After dealing with the movers' problem, the book next attacks and derivesseveral lower bounds on extensions of the problem: finding the shortest path among polyhedralobstacles, planning with velocity limits, and compliant motion planning with uncertainty. Itintroduces a clever technique, "path encoding," that allows a proof of NP-hardness for the first twoproblems and then shows that the general form of compliant motion planning, a problem that is thefocus of a great deal of recent work in robotics, is non-deterministic exponential time hard. Cannyproves this result using a highly original construction.John Canny received his doctorate from MITAnd is an assistant professor in the Computer Science Division at the University of California,Berkeley. The Complexity of Robot Motion Planning is the winner of the 1987 ACM DoctoralDissertation Award.