Free Computer Algebra Books

Fast parallel polynomial irreducibility test 1985

Factorization of polynomials using straight-line programs 1989

Computing with polynomials by straight-line programs 2. Sparse factorization 1985

Complexity of polynomial factorization

Complexity of computing determinants 2001

Computing with polynomials as black boxes 1990

Subquadratic-time factoring of polynomials over finite fields 1998

Factorization of polynomials over high algebraic extensions of finite fields 1997

Factoring high-degree polynomials by black box 1994

Dagwood, polynomials with straight-line programs

FoxBox, polynomial manipulation using black box 1998

Computing GCDs of polynomials using black box 1995

Algebraic algorithms 1999

Fast multivariate polynomial multiplication

Faster multivariate resultant 1989

kaltofen

Kaltofen - hybrid methods symnum

Разложение полиномиальной матрицы на множители

Determining solvability of polynomial over integers

Improved multivariate polynomial factoring algorithm

Factoring multivariate polynomials over algebraic number fields

Factoring multivariate polynomials over integers

Factorization of polynomials in Fp[x]

Generation of hard to factor multivariate polynomials

Sur le factorisation absolue des polynomes

On new factorization algorithm for polynomials over finite fields

Multivariate polynomial factorization

On the smallest divisor of integer polynomials

Testing bivariate polynomials for reducibility. JSC 1997

New algorithm for fast integer polynomial factorization

Approximate GCDs of polynomials JSC 1998

Polynomial reduction to 2 variables

Acceleration of Niederreiter factorization in characteristic 2

Real factorization of multivariate integer polynomials

Complete analysis of a polynomial factorization algorithm over finite fields

Absolute factorization of multivariate polynomials

Tangent-secant method for polynomial complex roots

Infallible polynomial complex root isolation

Hybrid method for polynomial real roots

Improved factoring of polynomials

Optimal condition for number of roots in polynomial system

Renormalization automated by Hopf algebra

Method of asymptotic evaluation of some multiple integrals

Generic asymptotic expansions

Fast evaluation of holonomic functions

Fast evaluation of holonomic functions in singularities

Asymptotique automatique (phd thesis) (en,fr).ps

Algorithms for asymptotics II

Algorithms for asymptotics I

Asymptotic estimation of oscillating functions

Star products and asymptotic growth ACM 1997

Algorithms for limits and asymptotics

Asymptotic approximation of one Fourier integral

Method of multiple scales and asymptotic solutions

General asymptotic scales and CAS

Examples of automatic asymptotics. RT-0114

Asymptotique automatique (une chapitre). RR-3707

Asymptotic of implicit functions

Asymptotic expansion of functional inverses

Asymptotics with oscillating coefficients

Asymptotics of two variable implicit functions

Asymptotics of inverse functions. JSC 1999

Asymptotic expansions of functional inverses

Asymptotic expansion of exp-log functions

Asymptotic expansion of exp-log functions

Asymptotics of linear differential systems. JSC 1997

Properties of log-exp functions

Asymptotic solution of ODE

Symbolic limits in a CAS (Ph.D. thesis)

New algorithm for computing asymptotic series

Effective asymptotics of linear recurrences

Computing symbolic limits using hierarchical series

Computing multiple-scale asymptotic expansions

Minimal polynomial of Abel solution to ODE

Analysis of square-free decomposition algorithms

Integrals and series wrt parameters of hypergeoms

Symbolic definite integration

P-adic algorithm for univariate partial fractions

The FORM version of MINCER for massless three-loop Feynman diagrams

Introduction to FORM language

Liouvillian solutions of 3rd order ODEs

Note on Kovacic algorithm

Integration of algebraic functions (phd thesis)

Algebraic factoring and integration of rational functions

Groebner bases, integration, transcendental functions

Extension of Liouville's theorem on integration (SIAM J Comp 1985)

On Liouville's theory of elementary functions

Symbolic evaluation of indefinite integrals containing special functions

Critical pair completion integration algorithm

A note on subresultants and the Lazard-Rioboo-Trager formula in rational function integration. JSC 1997

Towards a general theory of special functions

Symbolic integration (phd thesis)

Introduction to the Risch algorithm

Historic approaches to symbolic integration

Invitation to integration in finite terms

Integration of rational functions, a new formula

Integration with error functions

Integration of transcendental functions. JACM 1986

Integration of transcendental Liouvillian functions

Some finiteness issues in differential algebraic systems theory