Sketches and computations over fields
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.
Year of publication: |
1996
|
---|---|
Authors: | Duval, Dominique ; Reynaud, Jean-Claude |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 42.1996, 4, p. 363-373
|
Publisher: |
Elsevier |
Subject: | Computer algebra | Types and algebraic structures | Dynamic evaluation | Sketches |
Saved in:
Saved in favorites
Similar items by subject
-
Examples of using dynamic constructible closure
Gómez-Díaz, Teresa, (1996)
-
Dynamic evaluation and real closure
Duval, D., (1996)
-
China's regional energy and environmental efficiency: A DEA window analysis based dynamic evaluation
Wang, Ke, (2011)
- More ...