A Rule-Based System for Computation and Deduction in Mathematica

DOI10.1007/978-3-030-63595-4_4MaRDI QIDQ6486033zbMATH OpenFDO

Authors Mircea Marin, B. Dundua, Temur Kutsia

Publication date 22 December 2022

Published in 1517.68425 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-63595-4_4

Mathematics Subject Classification ID

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

Recommendations

• Rule-based production of mathematical expressions
• scientific article; zbMATH DE number 1497742
• The use of mathematical programming to verify rule-based knowledge
• A sequent calculus for automated reasoning in symbolic computation systems
• Implicit rule formation in symbolic computation
• Conditional rewrite rule systems with built-in arithmetic and induction
• scientific article; zbMATH DE number 622680

Cited in

(6)

• Deduction and presentation in Log
• A rule-based approach to the implementation of evaluation strategies
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• scientific article; zbMATH DE number 1059302 (Why is no real title available?)
• Logistica 2.0: a technology for implementing automatic deduction systems
• scientific article; zbMATH DE number 2217742 (Why is no real title available?)

This page was built for publication: A Rule-Based System for Computation and Deduction in Mathematica

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