Sketches and parametrization

DOI10.1016/0304-3975(94)90072-8zbMath0801.68096OpenAlexW2088721868MaRDI QIDQ1314408

Pascale Sénéchaud, Dominique Duval

Publication date: 22 February 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90072-8

zbMATH Keywords

sketcheshigh-level computer algebra systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Graphs, diagram schemes, precategories (18A10)

Related Items (2)

Dynamical method in algebra: Effective Nullstellensätze ⋮ Sketches and computations over fields.

Uses Software

• AXIOM

Cites Work

• Design and implementation of symbolic computation systems. International symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
• Sketches and computation – I: basic definitions and static evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sketches and parametrization