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