Free Computer Algebra Books

icon
Simplification of matrix expressions by rewriting
icon
Computing algebraic functions using log and exp 1995
icon
An Algorithm to Simplify Tensor Expressions
icon
Algorithmic simplification of tensor expressions
icon
A field-theory motivated approach to symbolic computer algebra
icon
Algebraic simplification for the perplexed
icon
Simplification of trigonometry
icon
Canonical forms of rational exponential expressions(EUROCAL85)
icon
Advances in simplification of sin-cos polynomials
icon
Complexity of derivatives generated by symbolic differentiation
icon
Essays in algebraic simplification (phd thesis)
icon
Automatic derivation of product identities
icon
Derivatives of rational expressions and related theorems
icon
On canonical forms and simplification
icon
Simplification of real elementary functions
icon
Relax but not too lazy 2001
icon
Series for algebraic functions can be computed fast
icon
Complexity of resolution of plane curve singularities
icon
Real quantifier elimination in practice, survey
icon
Упрощение вложенных вещественных радикалов
icon
Simplification of radicals (JSC 1985)(dirtier)
icon
Simplification of radicals
icon
Radical simplification using algebraic extension fields (EUROCAL87)
icon
Simplification of nested radicals (SIAM J Comp. 1992)
icon
Simplification of nested radicals (1990 preprint)
icon
How to tangle with a nested radical
icon
A note on Zippel denesting
icon
Simplifying square roots of square roots
icon
Simplification of unnested radicals
icon
Decreasing the root nesting
icon
Decreasing the nesting depth of square roots
icon
Quantifier elimination in degree 3
icon
Efficient decision procedures for locally finite theories II
icon
Real quadratic quantifier elimination in Risa-Asir
icon
Lineare Quantorelimination in bewerteten Koerpern
icon
Elimination of infinitesimal quantifiers
icon
PALMINI, fast Boolean minimization
icon
Simplification of quantifier-free formulae. JSC 1997
icon
Local quantifier elimination
icon
Computer Algebra: EUROCAL'83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings
icon
Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
icon
Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
icon
EUROSAM 84: International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984
icon
Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
icon
Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
icon
Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
icon
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982
icon
EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
icon
README.Proceedings ISSAC
icon
Proceedings SYMSAC 1981 (ACM) TOC
icon
Proceedings SYMSAC 1976
icon
Proceedings SYMSAC 1971 (ACM) TOC
icon
Proceedings SYMSAC 1971
icon
Proceedings SYMSAC 1966 (ACM) TOC
icon
Proceedings ISSAC 2007
icon
Proceedings ISSAC 2006 (Genova)
icon
Proceedings ISSAC 2006 (Genova)
icon
Proceedings ISSAC (Beijing)
icon
Proceedings ISSAC (Beijing)
icon
Proceedings ISSAC (Santander) TOC
icon
Proceedings ISSAC (Santander) TOC
icon
Proceedings ISSAC (Santander)
icon
Proceedings ISSAC (Philadelphia) TOC
icon
Issac 2003: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation: August 3-6, 2003, Philadelphia,
icon
Proceedings ISSAC (Lille) TOC
icon
ISSAC 2002 : July 07-10, 2002, Université de Lille, Lille, France : Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation
icon
Proceedings ISSAC (Ontario) TOC
icon
2001 International Symposium on Symbolic and Algebraic Computation
icon
Proceedings ISSAC (St.Andrews)
icon
Proceedings ISSAC (Vancouver) TOC
icon
Issac 1999 Symposium
icon
Proceedings ISSAC (Rostock) TOC
icon
Issac 98: August 13-15, 1998, University of Rostock, Germany: Proceedings of the 1998 International Symposium on Symbolic and Al
icon
Proceedings ISSAC (Kihei) TOC
icon
Issac 97: July 21-23, 1997, Maui, Hawaii, USA: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computa
icon
Proceedings ISSAC (Zurich) TOC
icon
Proceedings ISSAC (Zurich)
icon
Proceedings ISSAC (Montreal) TOC
icon
Issac '95: International Symposium on Symbolic and Algebraic Computation
icon
Proceedings ISSAC (Kiev) TOC
icon
Proceedings ISSAC (Kiev)
icon
Proceedings ISSAC (Berkeley) TOC
icon
International Symposium on Symbolic and Algebraic Computation 92: July 27-29, Berkeley California
icon
Proceedings ISSAC (Bonn) TOC
icon
Proceedings ISSAC (Tokyo) TOC
icon
Issac 90: International Symposium on Symbolic & Algebraic Computation, Held August 20-24, '90 in Japan
icon
Proceedings ISSAC (Portland) TOC
icon
Proceedings ISSAC (Portland)
icon
Proceedings ISSAC (Rome) TOC
icon
Proceedings EUROSAM 1984 contents
icon
Proceedings EUROSAM 1984 (selected papers)(SIGSAM, ACM)
icon
Reduction to bivariate and univariate polynomial factorization 1985
icon
Reduction of bivariate to univariate factorization 1982
icon
Polynomial factorization survey 1982
icon
Polynomial factorization 1987-1991
icon
Polynomial factorization 1982-1986
icon
Parallel algebraic algorithm design notes 1989
icon
Parallel Coppersmith-Wiedemann algorithm for sparse systems 1995
icon
Lecture notes on symbolic integration 1984
icon
GCD of polynomials using straight-line programs 1988