Algebraic simplification
From MaRDI portal
Publication:5627617
DOI10.1145/362637.362648zbMath0222.68017OpenAlexW2162177141MaRDI QIDQ5627617
Publication date: 1971
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/362637.362648
Related Items (20)
A heuristic prover for real inequalities ⋮ Orderings for term-rewriting systems ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ Unnamed Item ⋮ Automated simplification of large symbolic expressions ⋮ Macsyma: A personal history ⋮ Automatic average-case analysis of algorithms ⋮ Normal forms for a class of formulas ⋮ A theory of interactions: Unifying qualitative and quantitative algebraic reasoning ⋮ A review of Mathematica ⋮ Reasoning about model accuracy ⋮ Ten commandments for good default expression simplification ⋮ A structure theorem for the elementary functions and its application to the identity problem ⋮ Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns ⋮ Algebraic and symbolic manipulation of Poisson series ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ An existence lemma for canonical forms in symbolic mathematics ⋮ A program that computes limits using heuristics to evaluate the indeterminate forms ⋮ Functional programming concepts and straight-line programs in computer algebra ⋮ Sound and complete qualitative simulation is impossible
Uses Software
This page was built for publication: Algebraic simplification
