scientific article; zbMATH DE number 1263432

zbMATH Open0964.68519MaRDI QIDQ4234331FDOQ4234331

Authors: Jason F. Harris 

Publication date: 16 July 2001

Title of this publication is not available (Why is that?)

Recommendations

• Subtyping inheritance and its application in languages for symbolic computation systems
• Abstract specification of structures and methods in symbolic mathematical computation
• Modeling inheritance as coercion in a symbolic computation system
• A mathematical model of inheritance

zbMATH Keywords

symbolic computationMathematica

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42)

Cited In (3)

• Subtyping inheritance and its application in languages for symbolic computation systems
• Modeling inheritance as coercion in a symbolic computation system
• Syntax-guided rewrite rule enumeration for SMT solvers

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