On Canonical Forms and Simplification
- 1 April 1970
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 17 (2), 385-396
- https://doi.org/10.1145/321574.321591
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Some undecidable problems involving elementary functions of a real variableThe Journal of Symbolic Logic, 1969
- A Decidable Class of Number Theoretic EquationsJournal of the London Mathematical Society, 1966
- An extension to ALGOL for manipulating formulaeCommunications of the ACM, 1964
- Extensions and corollaries of recent work on Hilbert's tenth problemIllinois Journal of Mathematics, 1963
- The Decision Problem for Exponential Diophantine EquationsAnnals of Mathematics, 1961
- Reductions of Hilbert's tenth problemThe Journal of Symbolic Logic, 1958
- Irrational NumbersPublished by American Mathematical Society (AMS) ,1956
- Mathematical problemsBulletin of the American Mathematical Society, 1902