A type system for computer algebra

DOI10.1006/JSCO.1995.1006MaRDI QIDQ1895401zbMATH OpenOpenAlexFDO

Authors Philip S. Santas

Publication date 10 September 1995

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1995.1006

zbMATH Keywords

computer algebraautomatic inference of type classes

Mathematics Subject Classification ID

Theory of programming languages (68N15) Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A rewrite-based type discipline for a subset of computer algebra
• scientific article; zbMATH DE number 1350004
• scientific article; zbMATH DE number 1538013
• scientific article; zbMATH DE number 1759393
• scientific article; zbMATH DE number 596420
• A typed, algebraic, computational lambda-calculus
• scientific article; zbMATH DE number 814089
• A Framework for Extended Algebraic Data Types
• Computer algebra systems and symbolic computations

Cited in

(13)

• Categories as type classes in the Scala algebra system
• scientific article; zbMATH DE number 596420 (Why is no real title available?)
• scientific article; zbMATH DE number 1538013 (Why is no real title available?)
• Domains and expressions: an interface between two approaches to computer algebra
• Type classes for mathematics in type theory
• Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
• A computer algebra system based on order-sorted algebra
• On coherence in computer algebra
• Methods and techniques for defining parametrized types in mathematics
• Overview of the Mathemagix type system
• Logic and dependent types in the Aldor computer algebra system
• scientific article; zbMATH DE number 1860751 (Why is no real title available?)
• A rewrite-based type discipline for a subset of computer algebra

Describes a project that uses

Uses Software

• AXIOM

This page was built for publication: A type system for computer algebra

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