 | 2000 |
|---|
| 12 |       | B. F. Caviness:
Editorial.
J. Symb. Comput. 29(1): 1 (2000) |
| 1996 |
|---|
| 11 | | Erwin Engeler,
B. F. Caviness,
Yagati N. Lakshman:
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996
ACM 1996 |
| 1986 |
|---|
| 10 | | B. F. Caviness:
Computer Algebra: Past and Future.
J. Symb. Comput. 2(3): 217-236 (1986) |
| 1985 |
|---|
| 9 |  | B. F. Caviness:
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions
Springer 1985 |
| 8 | | B. F. Caviness:
Computer Algebra: Past and Future.
European Conference on Computer Algebra (1) 1985: 1-18 |
| 7 | | 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) |
| 1984 |
|---|
| 6 | | Guy W. Cherry,
B. F. Caviness:
Integration in Finite Terms with Special Functions: A Progress Report.
EUROSAM 1984: 351-358 |
| 1979 |
|---|
| 5 | | 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) |
| 4 | | Michael Rothstein,
B. F. Caviness:
A Structure Theorem for Exponential and Primitive Functions.
SIAM J. Comput. 8(3): 357-367 (1979) |
| 1978 |
|---|
| 3 | | B. F. Caviness,
H. I. Epstein:
A Note on the Complexity of Algebraic Differentiation.
Inf. Process. Lett. 7(2): 122-124 (1978) |
| 1971 |
|---|
| 2 | | 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) |
| 1970 |
|---|
| 1 | | B. F. Caviness:
On Canonical Forms and Simplification.
J. ACM 17(2): 385-396 (1970) |
Data released under the ODC-BY 1.0 license — See also our legal information page