scientific article; zbMATH DE number 3684923

MaRDI QIDQ3880307zbMATH OpenFDO

Authors Alan Bundy, Bob Welham

Publication date 1980

zbMATH Keywords

algebraic manipulationcontrolling inferencemeta-level inferencemultiple rewrite rules

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites work

• A man-machine theorem-proving system
• Algebraic simplification
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Group velocity and nonlinear dispersive wave propagation
• scientific article; zbMATH DE number 3684923 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Prolegomena to a theory of mechanized formal reasoning
• Proving Theorems about LISP Functions

Cited in

(4)

• Discovering inequality conditions in the analytic solution of optimization problems
• A calculus for and termination of rippling
• scientific article; zbMATH DE number 3684923 (Why is no real title available?)
• Termination orderings for rippling

Describes a project that uses

Uses Software

• MACSYMA

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