Computer Algebra: Past and Future

Authors:
B. F. Caviness
Affiliations:
Department of Computer and Information Sciences, University of Delaware, Newark, Delaware 19716, U.S.A.
Venue:
Journal of Symbolic Computation
Year:
1986

Citing 45
Cited 2

Parallel algorithms for algebraic problems

SIAM Journal on Computing
Cylindrical algebraic decomposition I: the basic algorithm

SIAM Journal on Computing
Computer algebra: symbolic and algebraic computation (2nd ed.)

Computer algebra: symbolic and algebraic computation (2nd ed.)
Integration in Finite Terms with Special Functions: the Error Function

Journal of Symbolic Computation
Theory of Summation in Finite Terms

Journal of Symbolic Computation
An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations

Journal of Symbolic Computation
A tutorial introduction to Maple

Journal of Symbolic Computation
Integration in finite terms with special functions: the logarithmic integral

SIAM Journal on Computing
Algorithm 628: An algorithm for constructing canonical bases of polynomial ideals

ACM Transactions on Mathematical Software (TOMS)
Algebra of Polynomials in Several Variables for a Digital Computer

Journal of the ACM (JACM)
Subresultants and Reduced Polynomial Remainder Sequences

Journal of the ACM (JACM)
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors

Journal of the ACM (JACM)
On Euclid's Algorithm and the Theory of Subresultants

Journal of the ACM (JACM)
Integer Arithmetic Algorithms for Polynomial Real Zero Determination

Journal of the ACM (JACM)
Multivariate Polynomial Factorization

Journal of the ACM (JACM)
Summation in Finite Terms

Journal of the ACM (JACM)
An Exact Method for Finding the Roots of a Complex Polynomial

ACM Transactions on Mathematical Software (TOMS)
The Subresultant PRS Algorithm

ACM Transactions on Mathematical Software (TOMS)
PM, a system for polynomial manipulation

Communications of the ACM
Symbolic factoring of polynomials in several variables

Communications of the ACM
Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields

Proceedings of the Mathematical Foundations of Computer Science 1984
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Operational Calculus Technique for Solving Differential Equations

EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]

EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
The Parallel Risch Algorithm (I)

EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
The Bath concurrent LISP machine

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
The Euclidean algorithm for Gaussian integers

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
An algorithm for constructing detaching bases in the ring of polynominals over a field

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
The computation of the Hilbert function

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
A note on the complexity of constructing Gröbner-Bases

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
DOE-MACSYMA: Progress Report

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
A System for Parallel Computer Algebra Programs

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
The Scratchpad II Computer Algebra Language and System

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
The Parallel L-Machine for Symbolic Computation

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
A critical-pair/completion algorithm for finitely generated ideals in rings

Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity
A polynomial reduction from multivariate to bivariate integral polynomial factorization.

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
The EZ GCD algorithm

ACM '73 Proceedings of the ACM annual conference
Solvability by radicals is in polynomial time

STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
The integration of a class of special functions with the Risch algorithm

ACM SIGSAM Bulletin
CAMP: a teaching project in symbolic computation at the University of Linz

ACM SIGSAM Bulletin
Factoring sparse multivariate polynomials

SFCS '83 Proceedings of the 24th Annual Symposium on Foundations of Computer Science
Explicit evaluation of certain definite integrals involving powers of logarithms

Journal of Symbolic Computation
Factoring Polynomials over Algebraic Number Fields

SIAM Journal on Computing

Indefinite integration with validation

ACM Transactions on Mathematical Software (TOMS)
Using Fourier series to analyse mass imperfections in vibratory gyroscopes

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This survey reviews some of the important accomplishments in computer algebra since 1966 and indicates some directions for future research and development.