Methods and techniques for defining parametrized types in mathematics

zbMATH Open1122.68155MaRDI QIDQ3596522FDOQ3596522

Authors: Alina Andreica 

Publication date: 31 August 2007

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

zbMATH Keywords

MathematicaSymbolic computationalgebraic categories

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (5)

• The method of types [information theory]
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applications of category theory in symbolic computation
• Title not available (Why is that?)

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)