We stand with Ukraine  

Bob F. Caviness

Affiliations:
  • University of Delaware, Newark, USA


According to our database1, Bob F. Caviness authored at least 17 papers between 1970 and 2000.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2000
Editorial.
[BibTeX]
[DOI]
Bob F. Caviness
J. Symb. Comput., 2000

1986
Computer Algebra: Past and Future.
[BibTeX]
[DOI]
Bob F. Caviness
J. Symb. Comput., 1986

1985
An Extension of Liouville's Theorem on Integration in Finite Terms.
[BibTeX]
[DOI]
Michael F. Singer
,
B. David Saunders
,
Bob F. Caviness
SIAM J. Comput., 1985

1984
Integration in Finite Terms with Special Functions: A Progress Report.
[BibTeX]
[DOI]
Guy W. Cherry
,
Bob F. Caviness
Proceedings of the EUROSAM 84, 1984

1979
A Structure Theorem for Exponential and Primitive Functions.
[BibTeX]
[DOI]
Michael Rothstein
,
Bob F. Caviness
SIAM J. Comput., 1979

A structure theorem for the elementary functions and its application to the identity problem.
[BibTeX]
[DOI]
H. I. Epstein
,
Bob F. Caviness
Int. J. Parallel Program., 1979

1978
A Note on the Complexity of Algebraic Differentiation.
[BibTeX]
[DOI]
Bob F. Caviness
,
H. I. Epstein
Inf. Process. Lett., 1978

A note on algebraic independence of logarithmic and exponential constants.
[BibTeX]
[DOI]
Bob F. Caviness
,
Myra Jean Prelle
SIGSAM Bull., 1978

1976
A structure theorem for exponential and primitive functions a preliminary report.
[BibTeX]
[DOI]
Michael Rothstein
,
Bob F. Caviness
SIGSAM Bull., 1976

Simplification of radical expressions.
[BibTeX]
[DOI]
Bob F. Caviness
,
Richard J. Fateman
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

Algorithms for Gaussian integer arithmetic.
[BibTeX]
[DOI]
Bob F. Caviness
,
George E. Collins
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

1975
SAM course outlines.
[BibTeX]
[DOI]
Bob F. Caviness
ACM SIGCSE Bull., 1975

More on computing roots of integers.
[BibTeX]
[DOI]
Bob F. Caviness
SIGSAM Bull., 1975

A modular greatest common divisor algorithm for gaussian polynomials.
[BibTeX]
[DOI]
Bob F. Caviness
,
Michael Rothstein
Proceedings of the 1975 ACM Annual Conference, 1975

1972
Symbolic mathematical computation in a Ph.D. computer science program.
[BibTeX]
[DOI]
Bob F. Caviness
,
George E. Collins
Proceedings of the 2nd SIGCSE Technical Symposium on Computer Science Education, 1972

1971
An Existence Lemma for Canonical Forms in Symbolic Mathematics.
[BibTeX]
[DOI]
Bob F. Caviness
,
P. L. Pollack
,
C. M. Rubald
Inf. Process. Lett., 1971

1970
On Canonical Forms and Simplification.
[BibTeX]
[DOI]
Bob F. Caviness
J. ACM, 1970


  Loading...