scientific article; zbMATH DE number 2217732
From MaRDI portal
Publication:5699463
zbMATH Open1073.68894MaRDI QIDQ5699463FDOQ5699463
Authors: Alina Andreica 
Publication date: 26 October 2005
Title of this publication is not available (Why is that?)
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
Symbolic computation and algebraic computation (68W30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cited In (6)
- Title not available (Why is that?)
- 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
Uses Software
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)
