Sketches and computations over fields

Dominique Duval and Jean-Claude Reynaud

Mathematics and Computers in Simulation (MATCOM), 1996, vol. 42, issue 4, 363-373

Abstract: The goal of this short paper is to describe one possible use of sketches in computer algebra. We show that sketches are a powerful tool for the description of mathematical structures and for the description of computations.

Keywords: Computer algebra; Types and algebraic structures; Dynamic evaluation; Sketches (search for similar items in EconPapers)
Date: 1996
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475496000109
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:42:y:1996:i:4:p:363-373

DOI: 10.1016/S0378-4754(96)00010-9

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().