Scratchpad's view of algebra I: Basic commutative algebra


Davenport, J. H. and Trager, B. M., 1990. Scratchpad's view of algebra I: Basic commutative algebra. In: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, 1990-04-09 - 1990-04-11. Berlin: Springer, pp. 40-54. (Lecture Notes in Computer Science; 429/1990)

Related documents:

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (139kB) | Preview

    Official URL:


    While computer algebra systems have dealt with polynomials and rational functions with integer coefficients for many years, dealing with more general constructs from commutative algebra is a more recent problem. In this paper we explain how one system solves this problem, what types and operators it is necessary to introduce and, in short, how one can construct a computational theory of commutative algebra. Of necessity, such a theory is rather different from the conventional, non-constructive, theory. It is also somewhat different from the theories of Seidenberg [1974] and his school, who are not particularly concerned with practical questions of efficiency.


    Item Type Conference or Workshop Items (UNSPECIFIED)
    CreatorsDavenport, J. H.and Trager, B. M.
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementDavenport_DISCO_1990.pdf: The original publication is available at
    ID Code32336


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...