On Canonical Forms and Simplification
From MaRDI portal
Publication:5588642
DOI10.1145/321574.321591zbMath0193.31302WikidataQ60895427 ScholiaQ60895427MaRDI QIDQ5588642
Publication date: 1970
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321574.321591
Related Items
The removal of $\pi $ from some undecidable problems involving elementary functions, Solving difference equations whose coefficients are not transcendental, Simplification of expressions involving radicals, Undecidability and incompleteness in classical mechanics, An approach to the zero recognition problem by Buchberger algorithm, An application of Galois theory to elementary arithmetic, Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets, Undecidable Hopf bifurcation with undecidable fixed point, Undecidability, incompleteness and Arnol'd problems, An existence lemma for canonical forms in symbolic mathematics, Ein vereinfachtes Newtonsches Verfahren für Differentialgleichungen, A program that computes limits using heuristics to evaluate the indeterminate forms, A structure theorem for the elementary functions and its application to the identity problem, Experiments with a symbolic programming system for complex analysis, Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations, Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen