On algebraic simplification

DOI10.1093/comjnl/16.1.23zbMath0251.68022OpenAlexW2151985522MaRDI QIDQ5664804

J. P. Fitch

Publication date: 1973

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/16.1.23

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Related Items

Automated simplification of large symbolic expressions ⋮ Experiments with a symbolic programming system for complex analysis ⋮ A structure theorem for the elementary functions and its application to the identity problem ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ Growth estimates for exp-log functions