Bob F. Caviness

22 papers A 1B 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2000 J jnl
Editorial.
J. Symb. Comput.
Bob F. Caviness
1996 B ed.
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996
ISSAC
Erwin Engeler, Bob F. Caviness, Yagati N. Lakshman
1986 J jnl
Computer Algebra: Past and Future.
J. Symb. Comput.
Bob F. Caviness
1985 J jnl
An Extension of Liouville's Theorem on Integration in Finite Terms.
SIAM J. Comput.
Michael F. Singer, B. David Saunders, Bob F. Caviness
1985 — conf
Computer Algebra: Past and Future.
European Conference on Computer Algebra (1)
Bob F. Caviness
1985 — ed.
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions
EUROCAL
Bob F. Caviness
1984 — conf
Integration in Finite Terms with Special Functions: A Progress Report.
EUROSAM
Guy W. Cherry, Bob F. Caviness
1981 — conf
An extension of Liouville's theorem on integration in finite terms.
SYMSACC
Michael F. Singer, B. David Saunders, Bob F. Caviness
1979 J jnl
A Structure Theorem for Exponential and Primitive Functions.
SIAM J. Comput.
Michael Rothstein, Bob F. Caviness
1979 J jnl
A structure theorem for the elementary functions and its application to the identity problem.
Int. J. Parallel Program.
H. I. Epstein, Bob F. Caviness
1978 J jnl
A Note on the Complexity of Algebraic Differentiation.
Inf. Process. Lett.
Bob F. Caviness, H. I. Epstein
1978 J jnl
A note on algebraic independence of logarithmic and exponential constants.
SIGSAM Bull.
Bob F. Caviness, Myra Jean Prelle
1977 J jnl
A note on the complexity of algebraic differentiation.
SIGSAM Bull.
Bob F. Caviness, H. I. Epstein
1976 J jnl
A structure theorem for exponential and primitive functions a preliminary report.
SIGSAM Bull.
Michael Rothstein, Bob F. Caviness
1976 — conf
Algorithms for Gaussian integer arithmetic.
SYMSACC
Bob F. Caviness, George E. Collins
1976 — conf
Simplification of radical expressions.
SYMSACC
Bob F. Caviness, Richard J. Fateman
1975 — conf
A modular greatest common divisor algorithm for gaussian polynomials.
ACM Annual Conference
Bob F. Caviness, Michael Rothstein
1975 J jnl
More on computing roots of integers.
SIGSAM Bull.
Bob F. Caviness
1975 J jnl
SAM course outlines.
ACM SIGCSE Bull.
Bob F. Caviness
1972 A conf
Symbolic mathematical computation in a Ph.D. computer science program.
SIGCSE
Bob F. Caviness, George E. Collins
1971 J jnl
An Existence Lemma for Canonical Forms in Symbolic Mathematics.
Inf. Process. Lett.
Bob F. Caviness, P. L. Pollack, C. M. Rubald
1970 J jnl
On Canonical Forms and Simplification.
J. ACM
Bob F. Caviness