DECREASING THE NESTING DEPTH OF EXPRESSIONS INVOLVING SQUARE ROOTS

被引:16
作者
BORODIN, A
FAGIN, R
HOPCROFT, JE
TOMPA, M
机构
[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
[2] UNIV WASHINGTON,DEPT COMP SCI,SEATTLE,WA 98195
[3] UNIV TORONTO,DEPT COMP SCI,TORONTO M5S 1A4,ONTARIO,CANADA
[4] IBM CORP,RES LAB,SAN JOSE,CA 95193
关键词
D O I
10.1016/S0747-7171(85)80013-4
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:169 / 188
页数:20
相关论文
共 7 条
[1]  
Besicovitch AS., 1940, J LOND MATH SOC, V15, P3, DOI [10.1112/jlms/s1-15.1.3, DOI 10.1112/JLMS/S1-15.1.3]
[2]  
CAVINESS BF, 1976, P SYMSAC 77 NEW YORK
[3]  
Herstein I. N., 1975, TOPICS ALGEBRA
[4]   APPLICATION OF GALOIS THEORY TO ELEMENTARY ARITHMETIC [J].
RICHARDS, I .
ADVANCES IN MATHEMATICS, 1974, 13 (03) :268-273
[5]   SOME UNDECIDABLE PROBLEMS INVOLVING ELEMENTARY FUNCTIONS OF A REAL VARIABLE [J].
RICHARDSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) :514-+
[6]  
Schinzel A., 1982, SELECTED TOPICS POLY
[7]  
ZIPPEL REB, 1977, THESIS MIT