B. F. Caviness

From MaRDI portal
(Redirected from Person:1098286)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 6604030 (Why is no real title available?)2016-07-18Paper
scientific article; zbMATH DE number 1157647 (Why is no real title available?)1998-10-01Paper
Computer algebra: Past and future
Journal of Symbolic Computation
1986-01-01Paper
An Extension of Liouville’s Theorem on Integration in Finite Terms
SIAM Journal on Computing
1985-01-01Paper
scientific article; zbMATH DE number 4020473 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3880838 (Why is no real title available?)1984-01-01Paper
scientific article; zbMATH DE number 3756615 (Why is no real title available?)1981-01-01Paper
scientific article; zbMATH DE number 3793298 (Why is no real title available?)1981-01-01Paper
A Structure Theorem for Exponential and Primitive Functions
SIAM Journal on Computing
1979-01-01Paper
A structure theorem for the elementary functions and its application to the identity problem
International Journal of Computer & Information Sciences
1979-01-01Paper
A note on algebraic independence of logarithmic and exponential constants
ACM SIGSAM Bulletin
1978-01-01Paper
A note on the complexity of algebraic differentiation
Information Processing Letters
1978-01-01Paper
A note on the complexity of algebraic differentiation
ACM SIGSAM Bulletin
1977-01-01Paper
scientific article; zbMATH DE number 3728392 (Why is no real title available?)1976-01-01Paper
A liouville theorem on integration in finite terms for line integrals
Communications in Algebra
1975-01-01Paper
scientific article; zbMATH DE number 3568022 (Why is no real title available?)1975-01-01Paper
An existence lemma for canonical forms in symbolic mathematics
Information Processing Letters
1971-01-01Paper
On Canonical Forms and Simplification
Journal of the ACM
1970-01-01Paper


Research outcomes over time


This page was built for person: B. F. Caviness