B. F. Caviness

B. F. Caviness: Editorial. J. Symb. Comput. 29(1): 1 (2000)

Erwin Engeler, B. F. Caviness, Yagati N. Lakshman (Eds.): Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996. ACM 1996, isbn 0-89791-796-0

B. F. Caviness: Computer Algebra: Past and Future. J. Symb. Comput. 2(3): 217-236 (1986)

Michael F. Singer, B. David Saunders, B. F. Caviness: An Extension of Liouville's Theorem on Integration in Finite Terms. SIAM J. Comput. 14(4): 966-990 (1985)

B. F. Caviness: Computer Algebra: Past and Future. European Conference on Computer Algebra (1) 1985: 1-18

B. F. Caviness (Ed.): EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions. Lecture Notes in Computer Science 204, Springer 1985, isbn 3-540-15984-3

Guy W. Cherry, B. F. Caviness: Integration in Finite Terms with Special Functions: A Progress Report. EUROSAM 1984: 351-358

Michael F. Singer, B. David Saunders, B. F. Caviness: An extension of Liouville's theorem on integration in finite terms. SYMSACC 1981: 23-24

H. I. Epstein, B. F. Caviness: A structure theorem for the elementary functions and its application to the identity problem. International Journal of Parallel Programming 8(1): 9-37 (1979)

Michael Rothstein, B. F. Caviness: A Structure Theorem for Exponential and Primitive Functions. SIAM J. Comput. 8(3): 357-367 (1979)

B. F. Caviness, H. I. Epstein: A Note on the Complexity of Algebraic Differentiation. Inf. Process. Lett. 7(2): 122-124 (1978)

B. F. Caviness, George E. Collins: Algorithms for Gaussian integer arithmetic. SYMSACC 1976: 36-45

B. F. Caviness, Richard J. Fateman: Simplification of radical expressions. SYMSACC 1976: 329-338

B. F. Caviness, P. L. Pollack, C. M. Rubald: An Existence Lemma for Canonical Forms in Symbolic Mathematics. Inf. Process. Lett. 1(2): 45-46 (1971)

B. F. Caviness: On Canonical Forms and Simplification. J. ACM 17(2): 385-396 (1970)