Sketches and computations over fields.

DOI10.1016/S0378-4754(96)00010-9MaRDI QIDQ1565815zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Sketches and parametrization
• scientific article; zbMATH DE number 58297
• Sketches and computation – II: dynamic evaluation and applications
• Publication:4207604
• Sketches and computation – I: basic definitions and static evaluation

Cites work

• Dynamic evaluation and real closure.
• Examples of using dynamic constructible closure.
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4085876 (Why is no real title available?)
• scientific article; zbMATH DE number 4111987 (Why is no real title available?)
• scientific article; zbMATH DE number 3311793 (Why is no real title available?)
• Sketches and computation – I: basic definitions and static evaluation
• Sketches and parametrization

Cited in

(6)

• Sketches and parametrization
• Dynamic evaluation and real closure.
• scientific article; zbMATH DE number 4050960 (Why is no real title available?)
• scientific article; zbMATH DE number 58297 (Why is no real title available?)
• Sketches and computation – I: basic definitions and static evaluation
• Sketches and computation – II: dynamic evaluation and applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1565815)