Effective Polynomial Computation [electronic resource] /

Effective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic algorithms for manipulating polynomials including factoring polynomials. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inappropriate are discussed and the practical alternatives are explained. Effective Polynomial Computation provides much of the mathematical motivation of the algorithms discussed to help the reader appreciate the mathematical mechanisms underlying the algorithms, and so that the algorithms will not appear to be constructed out of whole cloth. Preparatory to the discussion of algorithms for polynomials, the first third of this book discusses related issues in elementary number theory. These results are either used in later algorithms (e.g. the discussion of lattices and Diophantine approximation), or analogs of the number theoretic algorithms are used for polynomial problems (e.g. Euclidean algorithm and p-adic numbers). Among the unique features of Effective Polynomial Computation is the detailed material on greatest common divisor and factoring algorithms for sparse multivariate polynomials. In addition, both deterministic and probabilistic algorithms for irreducibility testing of polynomials are discussed.

Saved in:
Bibliographic Details
Main Authors: Zippel, Richard. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Boston, MA : Springer US : Imprint: Springer, 1993
Subjects:Computer science., Numerical analysis., Computer science, Algebra., Number theory., Computer Science., Symbolic and Algebraic Manipulation., Numeric Computing., Number Theory.,
Online Access:http://dx.doi.org/10.1007/978-1-4615-3188-3
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:186385
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Numerical analysis.
Computer science
Algebra.
Number theory.
Computer Science.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Algebra.
Number Theory.
Computer science.
Numerical analysis.
Computer science
Algebra.
Number theory.
Computer Science.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Algebra.
Number Theory.
spellingShingle Computer science.
Numerical analysis.
Computer science
Algebra.
Number theory.
Computer Science.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Algebra.
Number Theory.
Computer science.
Numerical analysis.
Computer science
Algebra.
Number theory.
Computer Science.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Algebra.
Number Theory.
Zippel, Richard. author.
SpringerLink (Online service)
Effective Polynomial Computation [electronic resource] /
description Effective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic algorithms for manipulating polynomials including factoring polynomials. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inappropriate are discussed and the practical alternatives are explained. Effective Polynomial Computation provides much of the mathematical motivation of the algorithms discussed to help the reader appreciate the mathematical mechanisms underlying the algorithms, and so that the algorithms will not appear to be constructed out of whole cloth. Preparatory to the discussion of algorithms for polynomials, the first third of this book discusses related issues in elementary number theory. These results are either used in later algorithms (e.g. the discussion of lattices and Diophantine approximation), or analogs of the number theoretic algorithms are used for polynomial problems (e.g. Euclidean algorithm and p-adic numbers). Among the unique features of Effective Polynomial Computation is the detailed material on greatest common divisor and factoring algorithms for sparse multivariate polynomials. In addition, both deterministic and probabilistic algorithms for irreducibility testing of polynomials are discussed.
format Texto
topic_facet Computer science.
Numerical analysis.
Computer science
Algebra.
Number theory.
Computer Science.
Symbolic and Algebraic Manipulation.
Numeric Computing.
Algebra.
Number Theory.
author Zippel, Richard. author.
SpringerLink (Online service)
author_facet Zippel, Richard. author.
SpringerLink (Online service)
author_sort Zippel, Richard. author.
title Effective Polynomial Computation [electronic resource] /
title_short Effective Polynomial Computation [electronic resource] /
title_full Effective Polynomial Computation [electronic resource] /
title_fullStr Effective Polynomial Computation [electronic resource] /
title_full_unstemmed Effective Polynomial Computation [electronic resource] /
title_sort effective polynomial computation [electronic resource] /
publisher Boston, MA : Springer US : Imprint: Springer,
publishDate 1993
url http://dx.doi.org/10.1007/978-1-4615-3188-3
work_keys_str_mv AT zippelrichardauthor effectivepolynomialcomputationelectronicresource
AT springerlinkonlineservice effectivepolynomialcomputationelectronicresource
_version_ 1756265503011110912
spelling KOHA-OAI-TEST:1863852018-07-30T23:09:03ZEffective Polynomial Computation [electronic resource] / Zippel, Richard. author. SpringerLink (Online service) textBoston, MA : Springer US : Imprint: Springer,1993.engEffective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic algorithms for manipulating polynomials including factoring polynomials. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inappropriate are discussed and the practical alternatives are explained. Effective Polynomial Computation provides much of the mathematical motivation of the algorithms discussed to help the reader appreciate the mathematical mechanisms underlying the algorithms, and so that the algorithms will not appear to be constructed out of whole cloth. Preparatory to the discussion of algorithms for polynomials, the first third of this book discusses related issues in elementary number theory. These results are either used in later algorithms (e.g. the discussion of lattices and Diophantine approximation), or analogs of the number theoretic algorithms are used for polynomial problems (e.g. Euclidean algorithm and p-adic numbers). Among the unique features of Effective Polynomial Computation is the detailed material on greatest common divisor and factoring algorithms for sparse multivariate polynomials. In addition, both deterministic and probabilistic algorithms for irreducibility testing of polynomials are discussed.1 Euclid’s Algorithm -- 1.1 Euclidean Algorithm -- 1.2 Diophantine Approximations -- 1.3 Continued Fractions -- 1.4 Diophantine Equations -- 2 Continued Fractions -- 2.1 Basics -- 2.2 Matrix Representation -- 2.3 Continuant Representation -- 2.4 Continued Fractions of Quadratics -- 2.5 Approximation Properties -- 2.6 Continued Fraction Arithmetic -- 3 Diophantine Equations -- 3.1 Two Variable Linear Diophantine Equations -- 3.2 General Linear Diophantine Equations -- 3.3 Pell’s Equation -- 3.4 Fermat’s Last Theorem -- 4 Lattice Techniques -- 4.1 Lattice Fundamentals -- 4.2 Minkowski Convex Body Theorem -- 4.3 Reduced Bases -- 4.4 Finding Numerical Relationships -- 5 Arithmetic Functions -- 5.1 Arithmetic Functions -- 5.2 Asymptotic Behavior of Arithmetic Functions -- 5.3 Distribution of Primes -- 5.4 Bertrand’s Postulate -- 6 Residue Rings -- 6.1 Basic Properties of ?/m? -- 6.2 Chinese Remainder Theorem -- 6.3 Multiplicative Structure of ?/m? -- 6.4 Quadratic Reciprocity -- 6.5 Algebraic Extensions of -- 6.6 p-adic Numbers -- 6.7 Cryptosystems -- 6.8 Sums of Squares -- 7 Polynomial Arithmetic -- 7.1 Generalities -- 7.2 Polynomial Addition -- 7.3 Polynomial Multiplication -- 7.4 Fast Polynomial Algorithms -- 7.5 Polynomial Exponentiation -- 7.6 Polynomial Substitution -- 8 Polynomial GCD’s: Classical Algorithms -- 8.1 Generalities -- 8.2 GCD of Several Quantities -- 8.3 Polynomial Contents -- 8.4 Coefficient Growth -- 8.5 Pseudo-Quotients -- 8.6 Subresultant Polynomial Remainder Sequence -- 9 Polynomial Elimination -- 9.1 Symmetric Functions -- 9.2 Polynomial Resultants -- 9.3 Subresultants -- 9.4 Elimination Examples -- 10 Formal Power Series -- 10.1 Introduction -- 10.2 Power Series Arithmetic -- 10.3 Power Series Exponentiation -- 10.4 Composition of Formal Power Series -- 10.5 Reversion of Power Series -- 11 Bounds on Polynomials -- 11.1 Heights of Polynomials -- 11.2 Uniform Coefficient Bounds -- 11.3 Weighted Coefficient Bounds -- 11.4 Size of a Polynomial’s Zeroes -- 11.5 Discriminants and Zero Separation -- 12 Zero Equivalence Testing -- 12.1 Probabilistic Techniques -- 12.2 Deterministic Results -- 12.3 Negative Results -- 13 Univariate Interpolation -- 13.1 Vandermonde Matrices -- 13.2 Lagrange Interpolation -- 13.3 Newton Interpolation -- 13.4 Fast Fourier Transform -- 13.5 Abstract Interpolation -- 14 Multivariate Interpolation -- 14.1 Multivariate Dénse Interpolation -- 14.2 Probabilistic Sparse Interpolation -- 14.3 Deterministic Sparse Interpolation with Degree Bounds -- 14.4 Deterministic Sparse Interpolation without Degree Bounds -- 15 Polynomial GCD’s: Interpolation Algorithms -- 15.1 Heuristic GCD -- 15.2 Univariate Polynomials over ? -- 15.3 Multivariate Polynomials -- 16 Hensel Algorithms -- 16.1 m-adic Completions -- 16.2 One Dimensional Iteration -- 16.3 Multidimensional Iteration -- 16.4 Hensel’s Lemma -- 16.5 Generalizations of Hensel’s Lemma -- 16.6 Zassenhaus’ Formulation of Hensel’s Lemma -- 17 Sparse Hensel Algorithms -- 17.1 Heuristic Presentation -- 17.2 Formal Presentation -- 18 Factoring over Finite Fields -- 18.1 Square Free Decomposition -- 18.2 Distinct Degree Factorization -- 18.3 Finding Linear Factors -- 18.4 Cantor-Zassenhaus Algorithm -- 19 Irreducibility of Polynomials -- 19.1 Deterministic Irreducibility Testing -- 19.2 Counting Prime Factors -- 19.3 Hilbert Irreducibility Theorem -- 19.4 Bertini’s Theorem -- 20 Univariate Factorization -- 20.1 Reductions -- 20.2 Simple Algorithm -- 20.3 Asymptotically Good Algorithms -- 21 Multivariate Factorization -- 21.1 General Reductions -- 21.2 Lifting Multivariate Factorizations -- 21.3 Leading Coefficient Determination -- 21.4 Multivariate Polynomials over Q -- 21.5 Bivariate Polynomials over Fields -- List of symbols.Effective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic algorithms for manipulating polynomials including factoring polynomials. These algorithms are discussed from both a theoretical and practical perspective. Those cases where theoretically optimal algorithms are inappropriate are discussed and the practical alternatives are explained. Effective Polynomial Computation provides much of the mathematical motivation of the algorithms discussed to help the reader appreciate the mathematical mechanisms underlying the algorithms, and so that the algorithms will not appear to be constructed out of whole cloth. Preparatory to the discussion of algorithms for polynomials, the first third of this book discusses related issues in elementary number theory. These results are either used in later algorithms (e.g. the discussion of lattices and Diophantine approximation), or analogs of the number theoretic algorithms are used for polynomial problems (e.g. Euclidean algorithm and p-adic numbers). Among the unique features of Effective Polynomial Computation is the detailed material on greatest common divisor and factoring algorithms for sparse multivariate polynomials. In addition, both deterministic and probabilistic algorithms for irreducibility testing of polynomials are discussed.Computer science.Numerical analysis.Computer scienceAlgebra.Number theory.Computer Science.Symbolic and Algebraic Manipulation.Numeric Computing.Algebra.Number Theory.Springer eBookshttp://dx.doi.org/10.1007/978-1-4615-3188-3URN:ISBN:9781461531883