Corpus ID: 208799701

Computer Algebra: Past and Future t

@inproceedings{Caviness2008ComputerAP,
  title={Computer Algebra: Past and Future t},
  author={B. Caviness},
  year={2008}
}
  • B. Caviness, B. Caviness
  • Published 2008
  • In this survey, I wish to recount some of the important accomplishments in computer algebra and to explore some of the significant directions for future research and development. I will take 1966 as my beginning point. This seems appropriate for a variety of reasons: (i) 1966 was the year of the first two conferences on this subject, namely, the ACM Symposium on Symbolic and Algebraic Manipulation held in Washington, D.C., 29-31 March 1966 (Floyd, 1966) and the IFIP working conference on Symbol… CONTINUE READING

    References

    SHOWING 1-10 OF 147 REFERENCES
    Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms
    • 8
    • Highly Influential
    The Parallel L-Machine for Symbolic Computation
    • B. Buchberger
    • Computer Science
    • European Conference on Computer Algebra
    • 1985
    • 12
    A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA
    • 509
    Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations
    • D. Lazard
    • Mathematics, Computer Science
    • EUROCAL
    • 1983
    • 425
    A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
    • J. Slagle
    • Mathematics, Computer Science
    • JACM
    • 1963
    • 178
    • PDF
    The problem of integration in finite terms
    • 309
    • PDF
    Integration in Finite Terms with Special Functions: The Logarithmic Integral
    • G. W. Cherry
    • Mathematics, Computer Science
    • SIAM J. Comput.
    • 1986
    • 23
    Toward a formal implementation of computer algebra
    • 28