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

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

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

(5)

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

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)