Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. B.F. Caviness and R.J. Fateman, “Simplification of Radical Expressions,” Proceedings SYMSAC 1976, pp. 329–338 Association for Computing Machinery, (1976).
2. B.W. Char, K.O. Geddes, G.H. Gonnet, and S.M. Watt, Maple User's Guide, WATCOM (1985).
3. G.H. Gonnet, “New Results for Random Determination of Equivalence of Expressions,” Proceedings SYMSAC '86, pp. 127–131 Association for Computing Machinery, (1986).
4. R.E. Moore, Interval Analysis, Prentice-Hall (1966).