### Abstract

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.

Original language | English |
---|---|

Title of host publication | Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings |

Place of Publication | Berlin |

Publisher | Springer |

Pages | 40-54 |

ISBN (Print) | 9783540525318 |

DOIs | |

Publication status | Published - 1990 |

Event | Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 - Capri, Italy Duration: 9 Apr 1990 → 11 Apr 1990 |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer |

Volume | 429/1990 |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 |
---|---|

Country | Italy |

City | Capri |

Period | 9/04/90 → 11/04/90 |

## Fingerprint Dive into the research topics of 'Scratchpad's view of algebra I: Basic commutative algebra'. Together they form a unique fingerprint.

## Cite this

Davenport, J. H., & 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 Capri, Italy, April 10–12, 1990 Proceedings*(pp. 40-54). (Lecture Notes in Computer Science; Vol. 429/1990). Springer. https://doi.org/10.1007/3-540-52531-9_122