scientific article; zbMATH DE number 1263432

zbMATH Open0964.68519MaRDI QIDQ4234331FDOQ4234331

Jason F. Harris

Publication date: 16 July 2001

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

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

   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 👍 👎

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)