|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
BROWN, P. J. Canonical forms and artificial languages. Mathematical Notes No. 19, Computation Center, U. of North Carolina, July 5, 1963.
|
| |
2
|
BROWN, W. S. Rational exponential expressions and a conjecture concerning v and e. Amer. Math. Mon. 76 (1969), 28-34.
|
| |
3
|
CAV~NESS, B .F . On canonical forms and simplification. Ph.D. DiNs., Carnegie-Mellon U., Pittsburgh, Pa., Aug. 1967.
|
| |
4
|
DAVIS, MARTIN. Diophantine equations and recursively enumerable sets. In E. R. Caioniello (Ed.), Automata Theory, Academic Press, New York, 1966, pp. 146-152.
|
| |
5
|
--. Extensions and corollaries of recent work on Hilbert's tenth problem. Ill. J. Math. 7 (1963), 246-250.
|
| |
6
|
-- AND PUTNAM, HILARY. Reductions of Hilbert's tenth problem. J. Symbolic Logic 23 (1958), 183-187.
|
| |
7
|
, , AND ROBINSON, JULIA. The decision problem for exponential diophantine equations. Ann. Math. 74 (1961), 425-436.
|
| |
8
|
FENICHEL, R .R . An on-line system for algebraic manipulation. Ph.D. DiNs., Harvard U., Cambridge, Mass., 1966.
|
| |
9
|
HILBERT, DAVID. Mathematische probleme. Bull. Amer. Math. Soc. 8 (1901-1902), 437- 479.
|
| |
10
|
ITURRIAGA, R. Contributions to mechanical mathematics. Ph.D. DiNs., Carnegie-Mellon U., Pittsburgh, Pa., 1967.
|
| |
11
|
MosEs, JOEL. Symbolic integration. Ph.D. DiNs., Massachusetts Inst. of Technology, Cambridge, Mass., Sept. 1967.
|
| |
12
|
NIVEN, IVAN. Irrational Numbers. Wiley, New York, 1956. (Carus Mathematical Monographs, No. 11, Mathematical Ass. of Amer.)
|
 |
13
|
|
| |
14
|
, , AND STANDISH, W.A. A definition of Formula Algol. Computation Center, Carnegie-Mellon U., Pittsburgh, Pa., March 1966.
|
| |
15
|
RICHARDSON, DANIEL. Some unsolvable problems involving elementary functions of a real variable. J. Symbolic Logic 33 (1968), 514-520.
|
| |
16
|
A solution of the identity problem for integral exponential functions. Z. Math. Logik Grundlagen Math. (to appear).
|
| |
17
|
ROVSSEAU, G. A decidable class of number theoretic equations. J. London Math. Soc. 4il (1966), 737-741.
|
| |
18
|
SAMMET, J .E . An annotated descriptor-based bibliography on the use of computers for non-numerical mathematics. Comput. Rev. 7 (1966), B1-B31.
|
| |
19
|
--. Modification No. 1 to an annotated descriptor-based bibliography on the use of computers for doing non-numerical mathematics. ACM SICSAM Bull., No. 5 (Dec. 1966), Appendix, pp. 1-19.
|
| |
20
|
TOBEY, R. G., BOBROW, R. J., AND ZILLES, S.N. Automatic simplification in FORMAC. Proc. AFIPS 1965 Fall J o i n t Comput. Conf., Vol. 27, Pt. 1, pp. 37-53.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
I.1