The following pages link to Algebraic simplification (Q5627617):
Displaying 21 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- Ten commandments for good default expression simplification (Q540339) (← links)
- Orderings for term-rewriting systems (Q593789) (← links)
- Macsyma: A personal history (Q655565) (← links)
- Sound and complete qualitative simulation is impossible (Q814512) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Automatic average-case analysis of algorithms (Q1174718) (← links)
- Normal forms for a class of formulas (Q1186734) (← links)
- A theory of interactions: Unifying qualitative and quantitative algebraic reasoning (Q1190523) (← links)
- A review of Mathematica (Q1198247) (← links)
- Reasoning about model accuracy (Q1199915) (← links)
- Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns (Q1224442) (← links)
- Functional programming concepts and straight-line programs in computer algebra (Q1849848) (← links)
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- An existence lemma for canonical forms in symbolic mathematics (Q2547489) (← links)
- A program that computes limits using heuristics to evaluate the indeterminate forms (Q2562568) (← links)
- A structure theorem for the elementary functions and its application to the identity problem (Q3854622) (← links)
- (Q3880307) (← links)
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations (Q4038447) (← links)
- Algebraic and symbolic manipulation of Poisson series (Q5951042) (← links)
- Calcium. Computing in exact real and complex fields (Q6666541) (← links)
