scientific article; zbMATH DE number 2217732

MaRDI QIDQ5699463zbMATH OpenFDO

Authors Alina Andreica

Publication date 26 October 2005

zbMATH Keywords

type systemMathematicaalgebraic categoriesparameterized definitions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• Applications of category theory in symbolic computation
• scientific article; zbMATH DE number 2217814
• Methods and techniques for defining parametrized types in mathematics
• scientific article; zbMATH DE number 5199000
• Abstract specification of structures and methods in symbolic mathematical computation

Cited in

(6)

• scientific article; zbMATH DE number 2217814 (Why is no real title available?)
• A design proposal for an object oriented algebraic library
• Methods and techniques for defining parametrized types in mathematics
• Symbolic computing package for Mathematica for versatile manipulation of mathematical expressions
• Integrating conversions into a computational algebraic system
• Applications of category theory in symbolic computation

Describes a project that uses

Uses Software

• Mathematica

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