On Canonical Forms and Simplification-Reference-Cited by-同舟云学术

On Canonical Forms and Simplification

Published:1970-04 Issue:2 Volume:17 Page:385-396
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Caviness B. F.¹

Affiliation:

1. Department of Mathematics, Duke University, Durham, N.C and Carnegie-Mellon University, Pitlsburgh, Pennsylvania

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference20 articles.

1. BROWN P. J. Canonical forms and artificial languages. Mathematical Notes No. 19 Computation Center U. of North Carolina July 5 1963. BROWN P. J. Canonical forms and artificial languages. Mathematical Notes No. 19 Computation Center U. of North Carolina July 5 1963.

2. Rational exponential expressions and a conjecture concerning v and e;BROWN W. S;Amer. Math. Mon.,1969

3. Extensions and corollaries of recent work on Hilbert's tenth problem;DAVIS RTIN;Ill. J. Math.,1963

Cited by 68 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reduction of Transcendental Decision Problems over the Reals;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16

2. Deciding first-order formulas involving univariate mixed trigonometric-polynomials;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24

3. Fitting and recognition of geometric primitives in segmented 3D point clouds using a localized voting procedure;Computer Aided Geometric Design;2022-08

4. Comments on Rosenlicht’s Integration in Finite Terms;Texts & Monographs in Symbolic Computation;2022

5. Complexity of Mathematical Expressions and Its Application in Automatic Answer Checking;Symmetry;2021-01-25