On Canonical Forms and Simplification. - Bob F. Caviness (J. ACM, 1970)

An Existence Lemma for Canonical Forms in Symbolic Mathematics. - Bob F. Caviness; P. L. Pollack; C. M. Rubald (Inf. Process. Lett., 1971)

Symbolic mathematical computation in a Ph.D. computer science program. - Bob F. Caviness; George E. Collins (SIGCSE, 1972)

A modular greatest common divisor algorithm for gaussian polynomials. - Bob F. Caviness; Michael Rothstein (ACM Annual Conference, 1975)

More on computing roots of integers. - Bob F. Caviness (SIGSAM Bull., 1975)

SAM course outlines. - Bob F. Caviness (ACM SIGCSE Bull., 1975)

Algorithms for Gaussian integer arithmetic. - Bob F. Caviness; George E. Collins (SYMSACC, 1976)

Simplification of radical expressions. - Bob F. Caviness; Richard J. Fateman (SYMSACC, 1976)

A structure theorem for exponential and primitive functions a preliminary report. - Michael Rothstein; Bob F. Caviness (SIGSAM Bull., 1976)

A note on algebraic independence of logarithmic and exponential constants. - Bob F. Caviness; Myra Jean Prelle (SIGSAM Bull., 1978)

A Note on the Complexity of Algebraic Differentiation. - Bob F. Caviness; H. I. Epstein (Inf. Process. Lett., 1978)

A structure theorem for the elementary functions and its application to the identity problem. - H. I. Epstein; Bob F. Caviness (Int. J. Parallel Program., 1979)

A Structure Theorem for Exponential and Primitive Functions. - Michael Rothstein; Bob F. Caviness (SIAM J. Comput., 1979)

Integration in Finite Terms with Special Functions: A Progress Report. - Guy W. Cherry; Bob F. Caviness (EUROSAM, 1984)

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

Computer Algebra: Past and Future. - Bob F. Caviness (J. Symb. Comput., 1986)

Editorial. - Bob F. Caviness (J. Symb. Comput., 2000)