Methods and techniques for defining parametrized types in mathematics

MaRDI QIDQ3596522zbMATH OpenFDO

Authors Alina Andreica

Publication date 31 August 2007

zbMATH Keywords

MathematicaSymbolic computationalgebraic categories

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 2217814
• A type system for computer algebra
• Sketches and parametrization
• Abstract specification of structures and methods in symbolic mathematical computation
• scientific article; zbMATH DE number 2217732

Cited in

(5)

• Applications of category theory in symbolic computation
• The method of types [information theory]
• scientific article; zbMATH DE number 596420 (Why is no real title available?)
• scientific article; zbMATH DE number 2217732 (Why is no real title available?)
• scientific article; zbMATH DE number 2217814 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Methods and techniques for defining parametrized types in mathematics

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