scientific article; zbMATH DE number 125106

MaRDI QIDQ4026754zbMATH OpenFDO

Authors Dominique Duval, Françoise Jung

Publication date 21 February 1993

zbMATH Keywords

computer algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Parallel algorithms in computer science (68W10)

Recommendations

• Integration and differential equations in computer algebra
• Publication:3031846
• scientific article; zbMATH DE number 1249511
• scientific article; zbMATH DE number 1944660
• scientific article; zbMATH DE number 1944656

Cited in

(3)

• The guess-and-prove paradigm in action
• scientific article; zbMATH DE number 4053021 (Why is no real title available?)
• Examples of using dynamic constructible closure.

This page was built for publication:

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