scientific article; zbMATH DE number 3921971

zbMATH Open0576.68026MaRDI QIDQ3696512FDOQ3696512

Authors: Snorri Agnarsson, B. David Saunders, Mukkai S. Krishnamoorthy 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Implementation of data types by algebraic methods
• Computational algebra with APL
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Implementation of a package of tools for manipulation of sums
• Publication:4721633

zbMATH Keywords

algebraic manipulation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (1)

• PackUp: tools for package upgradability solving

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