| * | 2000 |
|---|
| 10 | | B. F. Caviness:
Editorial.
J. Symb. Comput. 29(1): 1 (2000) |
| 1986 |
|---|
| 9 | | B. F. Caviness:
Computer Algebra: Past and Future.
J. Symb. Comput. 2(3): 217-236 (1986) |
| 1985 |
|---|
| 8 | | B. F. Caviness:
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions
Springer 1985 |
| 7 | | B. F. Caviness:
Computer Algebra: Past and Future.
European Conference on Computer Algebra (1) 1985: 1-18 |
| 6 | | 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 |
|---|
| 5 | | Guy W. Cherry,
B. F. Caviness:
Integration in Finite Terms with Special Functions: A Progress Report.
EUROSAM 1984: 351-358 |
| 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 | EE | B. F. Caviness:
On Canonical Forms and Simplification.
J. ACM 17(2): 385-396 (1970) |
