scientific article; zbMATH DE number 3921971

MaRDI QIDQ3696512zbMATH OpenFDO

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

Publication date 1985

zbMATH Keywords

algebraic manipulation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

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)