Sketches and computations over fields.

DOI10.1016/S0378-4754(96)00010-9zbMath1037.68541OpenAlexW2001860876MaRDI QIDQ1565815

Dominique Duval, Jean-Claude Reynaud

Publication date: 27 May 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0378-4754(96)00010-9

zbMATH Keywords

computer algebradynamic evaluationsketchestypes and algebraic structures

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Dynamic evaluation and real closure.

Cites Work

• Sketches and parametrization
• Examples of using dynamic constructible closure.
• Dynamic evaluation and real closure.
• Sketches and computation – I: basic definitions and static evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sketches and computations over fields.