Free Computer Algebra Books

Rational function summation and Gosper-Petkovchek repr

Rational summation and Gosper-Petkovsek representation. JSC 1995

Recent developments in symbolic summation

Shortest linear recurrences. JSC 1999

Closed forms for symbolic summation. JSC 1993

Closed forms for symbolic summation. JSC 1993

Closed forms for symbolic summation. JSC 1993

Q-summation

Summation in finite terms 1981

Summation in finite terms

Theorie zur q-hypergeom Summation

Computing the generating function from first terms of series

Multibase Gosper-type algorithms. JSC 1999

Termination of Zeilberger's algorithm for hypergeom sums

Algorithms for closed forms of sums

Minimal decomposition of hypergeom sums

Canonical form for piecewise functions. JSC 1998

Special functions (Mma package)

Identities for orthogonal polynomials and special functions

CAS algorithms for orthogonal polynomials and special functions 2002

Algorithms for orthogonal polynomials

Algorithms for Jacobi symbol. JSC 1998

Solving algebraic systems

Elimination method for polynomial systems

Solving systems of polynomial inequalities. JSC 2000

Rational parametrization of surfaces

Real solutions of positive-dimensional algebraic systems

Resolution reelle des systemes algebro-elementaires

Alternative rewriting methods for solving algebraic systems

Polynomial decomposition algorithm

Decomposition of algebraic functions

Euclidean algorithm for triangular representation of algebraic varieties

Introduction to cylindrical algebraic decomposition

Introduction to cylindrical algebraic decomposition

Algebraic methods in modeling, design and control (phd thesis)

Polyhedral method for solving sparse polynomial systems

Algebraic properties of the ring of exp-polynomials (Compl.Var.1989)

Algorithmic solvability in radicals

Groebner free alternative for polynomial system solving

Solving parametric algebraic systems

Resolution of polynomial inequality in 2 variables. JSC 1993

Implicitization of rational parametric surfaces

Solutions of algebraic and ODEs by Newton and Hensel iteration

Solving systems of polynomials: theory and practice (Calculemus slides)

Singular value decomposition for polynomial systems

Symbolic integration of exact PDEs. JSC 2000

Symbolic solutions for a class of PDEs. JSC 1996

Traveling wave solutions of PDEs using tanh, cn

Differential Galois theory and ODEs

Differential Galois theory 2002-06

Liouvillina solutions of ODEs of 3rd and higher order. JSC 1999

Extensible 2nd order ODE solver 2001

Enumerate all factorizations of a linear ODE

Newton polyhedra and reversible systems of ODEs

Liouvillian solutions of ODEs with Liouvillian coefficients

Formal solutions of ODEs

Elementary solutions of ODEs

Algebraic solutions of linear ODEs

Symbolic solutions of 2nd and 3rd order ODE

Kovacic-style algorithm for 3rd order ODEs 2001

Factorization of linear ODE

Heuristic solving of 1st order ODEs

Solutions of algebraic ODEs (JDE1983)

Differential algebraic elimination theorem

Transcendental transcendency of certain functions of Poincare

Integration in finite terms of linear ODEs of 2nd order (Bull. AMS 1927, vol. 33)

Integral functions obtained by compounding polynomials (Bull. AMS 1933, vol. 39)

Solution of problem of integration in finite terms (Bull. AMS 1970)

Exponential solutions of 1st order ODE systems

Reducible and irreducible linear ODEs

Solutions of 1st order ODEs with Prelle-Singer. JSC 1993

Algorithm for solving 2nd order linear DE

Algorithms for solving linear ODEs

Library for integration and reduction of nonlinear ODEs

Elementary and Liouvillian solutions of ODEs

Integrating factors for 2nd order ODes. JSC 1999

Solving linear ODEs in exponential integrals

Solutions of ODEs in their coeff field. JSC 2000

Solutions of ODEs in radicals

Solutions of ODE in their coefficient field

Linear ODE of higher than 2nd order

Improved algorithm for factorization of ODE

Factorization of linear ODE

Computer algebra algorithms for linear ODE and difference equs. (ECM)

Solutions of linear ODEs in special functions

Solving linear ODEs using exp integrals

Polynomial solutions of linear ODEs

Rational solutions of linear ODE systems

Rational Newton algorithm for linear ODEs

Dalambertian solutions to linear ODEs

Functional decomposition of polynomials. the tame case

Decomposition of polynomials, wild case

Functional decomposition of polynomials

On multivariate polynomial decomposition

Rational function decomposition

Homogeneous decomposition of polynomials

Functional decomposition (ext.abs.)

Univariate and bivariate polynomial decompositions. JSC 1999

Implementation of rational function decomposition

Polynomial decomposition algorithms