B. F. Caviness

Publication Activity (10 Years)

Years Active: 1970-2000
Publications (10 Years): 0

Publications

B. F. Caviness
Editorial. J. Symb. Comput. 29 (1) (2000)
B. F. Caviness
Computer Algebra: Past and Future. J. Symb. Comput. 2 (3) (1986)
B. F. Caviness
Computer Algebra: Past and Future. European Conference on Computer Algebra (1) (1985)
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) (1985)
Guy W. Cherry, B. F. Caviness
Integration in Finite Terms with Special Functions: A Progress Report. EUROSAM (Theory) (1984)
Michael F. Singer, B. David Saunders, B. F. Caviness
An extension of Liouville's theorem on integration in finite terms. SYMSACC (1981)
Michael Rothstein, B. F. Caviness
A Structure Theorem for Exponential and Primitive Functions. SIAM J. Comput. 8 (3) (1979)
H. I. Epstein, B. F. Caviness
A structure theorem for the elementary functions and its application to the identity problem. Int. J. Parallel Program. 8 (1) (1979)
B. F. Caviness, Myra Jean Prelle
A note on algebraic independence of logarithmic and exponential constants. SIGSAM Bull. 12 (2) (1978)
B. F. Caviness, H. I. Epstein
A Note on the Complexity of Algebraic Differentiation. Inf. Process. Lett. 7 (2) (1978)
B. F. Caviness, H. I. Epstein
A note on the complexity of algebraic differentiation. SIGSAM Bull. 11 (3) (1977)
B. F. Caviness, George E. Collins
Algorithms for Gaussian integer arithmetic. SYMSACC (1976)
B. F. Caviness, Richard J. Fateman
Simplification of radical expressions. SYMSACC (1976)
Michael Rothstein, B. F. Caviness
A structure theorem for exponential and primitive functions a preliminary report. SIGSAM Bull. 10 (4) (1976)
B. F. Caviness
SAM course outlines. ACM SIGCSE Bull. 7 (2) (1975)
B. F. Caviness, Michael Rothstein
A modular greatest common divisor algorithm for gaussian polynomials. ACM Annual Conference (1975)
B. F. Caviness
More on computing roots of integers. SIGSAM Bull. 9 (3) (1975)
B. F. Caviness, George E. Collins
Symbolic mathematical computation in a Ph.D. computer science program. SIGCSE (1972)
B. F. Caviness, P. L. Pollack, C. M. Rubald
An Existence Lemma for Canonical Forms in Symbolic Mathematics. Inf. Process. Lett. 1 (2) (1971)
B. F. Caviness
On Canonical Forms and Simplification. J. ACM 17 (2) (1970)