On Canonical Forms and Simplification
From MaRDI portal
Publication:5588642
DOI10.1145/321574.321591zbMath0193.31302OpenAlexW2121112004WikidataQ60895427 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 (21)
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Comments on Rosenlicht’s Integration in Finite Terms ⋮ Fermat's last theorem and chaoticity ⋮ The removal of $\pi $ from some undecidable problems involving elementary functions ⋮ Undecidable Hopf bifurcation with undecidable fixed point ⋮ Undecidability, incompleteness and Arnol'd problems ⋮ Fitting and recognition of geometric primitives in segmented 3D point clouds using a localized voting procedure ⋮ Deciding first-order formulas involving univariate mixed trigonometric-polynomials ⋮ Automated simplification of large symbolic expressions ⋮ Undecidability and incompleteness in classical mechanics ⋮ Solving difference equations whose coefficients are not transcendental ⋮ Experiments with a symbolic programming system for complex analysis ⋮ An approach to the zero recognition problem by Buchberger algorithm ⋮ An application of Galois theory to elementary arithmetic ⋮ A structure theorem for the elementary functions and its application to the identity problem ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ 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 ⋮ Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen ⋮ Simplification of expressions involving radicals
This page was built for publication: On Canonical Forms and Simplification
