Bobby Forrester Caviness
Department of Computer and Information Sciences
Smith Hall
University of Delaware
Newark DE
March
Personal Data
Born March Asheb oro North Carolina
Married to Jane Carolyn Shearin Decemb er
Education
B S with honors Mathematics University of North Carolina at Chap el Hill
M S Mathematics Carnegie Mellon University
Mathematics Computer Science Carnegie Mellon University Ph D
Thesis On Canonical Forms and Simpli cation
Adviser Alan J Perlis
Professional Career
Part time computer op erator University of North Carolina Computer Center
Part time programmer University of North Carolina Computer Center
NSF Fellow
Summer Programmer University of Pittsburgh Computation Center
Teaching Assistant in Mathematics and Computer Science Carnegie Mellon
University
Scientist in Computer Science Carnegie Mellon University Pro ject
Assistant Professor of Mathematics Duke University
Summer Memb er Technical Sta Bell Lab oratories Murray Hill N J
h Center University of Wisconsin Assistant Professor Mathematics Researc
Joint App ointment with Computer Sciences Department
Assistant Professor of Computer Sciences University of Wisconsin
Asso ciate Professor of Computer Sciences Illinois Institute of Technology
Asso ciate Professor of Mathematical Sciences Rensselaer Polytechnic Inst
Professor of Mathematical Sciences Rensselaer Polytechnic Institute
Visiting Research Fellow General Electric Research and Development Center
on sabbatical leave from RPI
present Professor Chairp erson Department of Computer and Information
Sciences University of Delaware Also joint app ointment as Professor of Math
ematical Sciences
Program Director National Science Foundation on leave from Delaware
ossische Technische Ho chschule Zuric h on leave from Guest Professor Eidgen
Delaware
on Academic Visitor IBM T J Watson Research Center Hawthorne NY
leave from Delaware
So ciety Memb erships
Asso ciation for Computing Machinery including SIGCSE and SIGSAM
So ciety for Industrial and Applied Mathematics
Mathematical Asso ciation of America
Editorships
of the ACM Guest Editor Octob er issue of the Journal
Assistant Editor ACM SIGSAM Bul letin
Asso ciate Editor Transactions on Mathematical Software
Area Editor Computing Reviews
Asso ciate Editor Journal of Symbolic Computation
Editor in Chief Journal of Symbolic Computation
Editorial Board CONSTRAINTS
present Editorial Board Journal of Symbolic Computation
Education Editor ACM SIGecom Exchanges
and Awards Honors
Bausch and Lomb Science Medal
Phi Eta Sigma
Phi Beta Kappa
B S With Honors
National Science Foundation Graduate Fellowship
Sigma Xi
ts Gran
NSF GJ Recursive Pro cedures and Systems in Symb olic Mathematics
NSF GJ X Algorithms and Systems for Symb olic and Algebraic Computation
G E Collins Co Principal Investigator
National Research Council Travel Grants to IFIP Meetings in Edinburgh Scotland and
Ljubljana Yugoslavia
University of Wisconsin Research Committee Algorithms and Systems for Symb olic Mathe
matical Computation
NSF MCS Algorithms for Transcendental Function Arithmetic
NSF MCS Algorithms and Systems for Symb olic and Algebraic Computation
R Jenks D Saunders and D Yun Co Principal Investigators
ARO D EUROSAM the Europ ean Symp osium on Symb olic and Algebraic Manip
ulation A C Hearn Co Principal Investigator
ARO D SYMSAC the ACM Symp osium on Symb olic and Algebraic Computation
R D Jenks Co Principal Investigator
Unidel Foundation Enrichment Grant for the University of Delaware Dept of Computer and
Information Sciences
of Computer Science and Computer Engineering Research NSF MCS Acquisition
Equipment P J Warter Co Principal Investigator
System Development Foundation Supp ort for research visit by Dr James Davenp ort
Hewlett Packard Equipment Prop osal for Computer Science Research
Equipment Upgrade
Unidel Foundation Grant to Signi cantly Enhance the Mathematical and Statistical Capa
bilities of Delaware Students I was the principal author of the prop osal for this grant to the
Department of Mathematical Sciences
NSF USE Undergraduate Mathematics Technology to Improve Student Capabili
ties Co Principal Investigator with John Bergman and Richard Weinacht
NSF INT Symp osium on Quan ti er Elimination and Cylindrical Algebraic Decom
p osition Principal Investigator with Jeremy Johnson
NSF CDA Post do ctoral Asso ciate in Exp erimental Symb olic Computation
NSF CCR xxxxx East Coast Computer Algebra Day Amount Co PI with D
Saunders
Professional Activities Other
Memb er panel on Algorithmic Approaches to Symb olic Integration and Simpli ca
tion at FJCC
Referee or reviewer for Jour ACM Computing Reviews Mathematical Reviews
ACM Conferences
NSF Army Research O ce Academic Press
Memb er of program committee for Second Symp osium on Symb olic and Algebraic
Manipulation
ACM SIGSAM National Lecturer
Summer Session Chair Computer Sciences Dept University of Wisconsin
Program Chair ACM SIGSAM Symp osium on Symb olic and Algebraic
Computation
Sp ent two week p erio d lecturing to and working with the Computational Physics
Group University of Utah
Chair ACM SIGSAM
Memb er Chair National Research Council Panel to evaluate NSF
Graduate Fellowship Applications in Applications of Mathematics including com
puter science
Consultant to Universidad Simon Bolivar Caracas Venezuela
Memb er Chair Advisory Screening Committee in Computer Science for
the Council for International Exchange of Scholars
Lecturer for American Mathematical So ciety short course on Computer Algebra
Ann Arb or MI
the Symp osium on Symb olic and Algebraic General Chair SYMSAC
Computation Snowbird Utah August
Memb er Visiting Committee in Computer Science University of Maine
ACM National Lecturer
Principal Lecturer for Mathematical Asso ciation of America workshop on Algebraic
and Symb olic Computing held at Salisbury State College June
Principal Lecturer for Lehigh Valley Asso c of Indep endent Colleges workshop on
Algebraic and Symb olic Computing held at Moravian College June
Vice Chair for the IEEE Micro Delcon symp osium
Memb er State of Delaware Computer Education Planning Committee
Organized ARO workshop on Large Scale Computing on Micro Computers Univ
of Delaware May
Memb er of the Scienti c Committee for the rd International Conf on Algebraic
Algorithms and Error Correcting Co des Grenoble France
Chairp erson Search Committee for Chairp erson of Mechanical Engineering Dept
University of Delaware
Memb er External Review Committee for the Dept of Computer and Information
Sciences Temple University
Memb er Visiting Committee in Computer Science Rensselaer Polytechnic Institute
Program Committee Europ ean Symp osium on Computer Algebra Leipzig
Two week visit to Computer Science Dept Univ of Leipzig E Germany
Program Committee AAECC Menorca Spain
Memb er of NSF Panel for Scienti c Computing Research Equipment for the Math
ematical Sciences
Invited participant in workshop on New Generation Computer Algebra System
sp onsored by Texas Instruments SMU and Los Alamos National Lab oratories
Memb er Middle States Accreditation Team Syracuse University
Co ordinator NSF Workshop on Symb olic Algebraic Computation
Consultant NSF Division of Computer and Computation Research
Memb er External Review Committee for the graduate program in Computer Sci
ence Howard University
External Review Committee Dept of Computer Info Sci Ohio State Univ
Advisory Committee for O ce of Cross Disciplinary Activities National Science
Foundation
Memb er of NSF Panel for Scienti c Computing Research Equipment for the Math
ematical Sciences
Memb er of NSF Panel for Institutional Infrastructure Small Scale
Organizer Workshop on Di erential Equations Symb olic Computation Institute
for Mathematics Its Application Univ of Minnesota
Program Committee International Symp on Symb olic Algebraic
Computation
Advisory Committee for O ce of Cross Disciplinary Activities National Science
Foundation
Organizer of minisymp osium on Symb olic Computation Theory Algorithms
SIAM National Meeting Chicago
Consultant to the Dept of Mathematics Computer Science Wake Forest Univ
re the feasibility of a new MS program in computer science
Co Chair with Richard Weinacht of the Delaware Dept of Mathematical Sciences
Ad Ho c Computational Mathematics Committee
Advisory Committee for O ce of Cross Disciplinary Activities National Science
Foundation
Invited participant NSF Workshop on Numeric Symb olic Geometric Computing
Chairp erson Search Committee for Chairp erson of the Dept of Mathematical
Sciences Univ of Delaware
Lecturer on Integration in Finite Terms RISC Linz Summer Scho ol on Computer
Algebra Linz Austria
Memb er Univ of Delaware College of Arts and Science Budget Council
Memb er Peer Review Committee UD Dept of Fo o d Science
Principal Organizer with B Buchb erger and J Johnson Symp on Quanti er
Elimination Cylindrical Algebraic Decomp osition at the Research Inst for Sym
b olic Computation Linz Austria
Program Chair East Coast Computer Algebra Day Newark DE
Memb er Program Committee International Workshop on New Computer Technolo
gies in Control Systems Pereslavl Zalessky Russia
Program Chair International Symp on Symb olic Algebraic Computation
Zurich
Memb er Asso c for Computing Machinery Ad Ho c Comm to nominate a new
of the ACM Editor in Chief for the J
Delaware Center for Teaching E ectiveness Advisory Committee on TAs
Hosted Fulbright Scholar Prof A Juozapavicius from Vilnius Univ Lithuania
Memb er NSF Panel on Integrative Graduate Education Research Training
IGERT
Chair Award Committee for the Jenks Prize in Software Engineering for Computer
Algebra
Ph D Thesis Sup ervision
Harvey I Epstein Algorithms for Elementary Transcendental Function Arithmetic Univ of
Wisconsin May Current p osition Computer Scientist Mitre Corp
Michael Rothstein Asp ects of Symb olic Integration and Simpli cation of Exp onential and
Primitive Functions Univ of Wisconsin Decemb er Current p osition Asso c Prof of
Computer Science Kent State University
Myra J Prelle Elementary First Integrals of Di erential Equations RPI May Current
p osition Head of AI Group Mitre Corp
Erich L Kaltofen On the Complexity of Factoring Polynomials with Integer Co e cients RPI
Novemb er Current p osition Professor of Mathematical Sciences North Carolina State
University
Guy W Cherry Algorithms for Integrating Elementary Functions in Terms of Error Functions
and Logarithmic Integrals Univ of Delaware August Current p osition Director of
Systems Software NCub e Inc Beaverton Oregon
orts Publications and Rep
Information Pro cessing Language V System for the Univac Computation Center Rep ort
University of North Carolina August with H L Butler
An Intro duction to the Pitt Natural Language Pro cessor Computation and Data Pro cessing
Center Rep ort University of Pittsburgh Octob er with Dale Isner
The Formal Description of the Pitt Natural Language Pro cessor Computation and Data Pro
cessing Center Rep ort Univ of Pittsburgh Octob er with Dale Isner
April pp On Canonical Forms and Simpli cation JACM
Mixal Triangle Universities Computation Center Memorandum No LS July
pages
An Existence Lemma for Canonical Forms in Symb olic Mathematics IPL pp
with P L Pollack and C M Rubald
Symb olic Mathematical Computation in a Ph D Computer Sciences Department Proc of the
Second Symposium on Education in Computer Science SIGCSE Bul letin pp
Reprinted in the SIGSAM Bul letin No July pp with G E Collins
A Lehmer Typ e Greatest Common Divisor Algorithm for Gaussian Integers abstract SIAM
Part April p Review
On the Algebraic Indep endence of Certain Logarithmic and Exp onential Functions abstract
SIAM Review Jan p with H I Epstein
pp Reprinted in SIGCSE SAM Course Outlines ed SIGSAM Bul letin
pp Bul letin
A Liouville Theorem on Integration in Finite Terms for Line Integrals Comm in Algebra
pp with M Rothstein
More on Computing Ro ots of Integers SIGSAM Bul letin pp
A Mo dular Greatest Common Divisor Algorithm for Gaussian Polynomials Proc of the
ACM Annual Conf pp with M Rothstein
ACM Symposium on Symbolic Algorithms for Gaussian Integer Arithmetic Proc of the
and Algebraic Computation R D Jenks ed pp with G E Collins
Simpli cation of Radical Expressions Proc of the ACM Symposium of Symbolic and
Algebraic Computation R D Jenks ed pp with R J Fateman
Metho ds for Symb olic Computation with Transcendental Functions Proc of the F ourth In
ternational Col loquium on Advanced Computational Methods in Theoretical Physics Saint
Maximin France pp
Mo dular Polynomial Arithmetic in Partial Fraction Decomp osition Proc of the MAC
SYMA Users Conference University of California Berkeley July pp with
S K Ab dali and A Pridor
A Note on the Complexity of Algebraic Di erentiation IPL pp with H I
Epstein
A Note on the Algebraic Indep endence of Logarithmic and Exp onential Constants SIGSAM
Bul letin May pp with M J Prelle
A Structure Theorem for the Elementary Functions and Its Application to the Identity Prob
lem Inter J of Comp and Info Sci February pp with H I Epstein
A Structure Theorem for Exp onential and Primitive Functions SIAM J Comput August
pp with M Rothstein
Army Conference on Numerical Analysis Asp ects of Algebraic Computation Proc of the
and Computing pp
Integration in Finite Terms with Sp ecial Functions A Progress Rep ort Proc of the
International Symposium on Symbolic and Algebraic Computation Springer Verlag LNCS Vol
pp with G W Cherry
An extension of Liouville s theorem on integration in nite terms SIAM J Comput
pp with M F Singer and B D Saunders
Proc of the European Conf on Computer Algebra Vol editor Springer Verlag LNCS
Vol
Computer Algebra Past and Future J Symbolic Comput pp
Foreword of M Bronstein Symbolic Integration I Transcendental Functions Springer Verlag
Berlin
Foreword of Handbook for Computer Algebra Springer Verlag
Bo oks and Monographs
Symbolic Computation Directions for Future Research Report of a Workshop on Symbolic
and Algebraic Computation editor with A Boyle SIAM Rep orts on Issues in the Mathemat
ical Sciences So c for Industrial Applied Mathematics Philadelphia PA July
B F Caviness and J Johnson eds Proceedings of the Symposium on Quanti er Elimination
and Cylindrical Algebraic Decomposition Springer Verlag
Other Publications
Article containing information ab out the research of my students and myself T A Hepp en
heimer Computer algebra sp eed is not all Mosaic a publication of the National Science
Foundation pp
Professional and Public Lectures
Symb olic Mathematical Computation Mathematics Collo quium Illinois Institute of Technology
February
Algebraic Simpli cation Mathematics Collo quium IBM T J Watson Research Center April
Algorithms for Gaussian Integer Arithmetic Symp osium on Symb olic and Algebraic Com
putation at Yorktown Heights New York August
The SAC Implementation of the Risch Structure Theorem Computer Science Collo quium
Cambridge University Cambridge England March
Metho ds for Symb olic Computation with Transcendental Functions Computer Science Collo
quium University of Kent Canterbury England March
Invited talk to the Fourth International Collo quium on Advanced Computational Meth
o ds in Theoretical Physics held in St Maximin France March
Computer Science Collo quium Technische Hogescho ol Twente Enschede The Nether
lands March
Computer Science Collo quium Vrije Universiteit Amsterdam The Netherlands March
Minimal Field Extensions for Symb olic Integration Mathematics Collo quium R P I Octob er
Computer Science Col Can Computers Find Closed Form Solutions for Di erential Equations
lo quium Kent State University Novemb er
Computer Science Collo quium Universidad Simon Bolivar Caracas Venezuela January
Steps Toward Algorithms for Solving Di erential Equations in Closed Form Invited Talk to
SIAM National Meeting Madison Wisconsin May
A Structure Theorem for Exp onential and Primitive Functions I and I I Universidad Simon
Bolivar June
The Numb er of Divisions Required by the Euclidean Algorithms Applied to Gaussian Integers
Universidad Simon Bolivar June
Steps Toward Algorithms for Solving Di erential Equations in Closed Form Computer Science
Collo quium Yale University February
Computer Science Collo quium University of Delaware April
Algorithms for Solving Di erential Equations in Closed Form Computer Science Collo quium
Universit at Karlsruhe Karlsruhe West Germany July
A Survey of Symb olic and Algebraic Computation Computer Science Collo quium Eidgenossische
Technische Ho chschule Zurich Switzerland July
Implicit Solutions of First Order Di erential Equations Invited Address to the American Math
ematical So ciety Kent Ohio Novemb er
A Survey of Computer Algebra Computer Science Seminar General Electric Research and De
velopment Center Schenectady NY Decemb er
An Extension of Liouville s Theorem on Integration in Finite Terms Computer Science Collo
quium University of Wisconsin July
Algorithms for Inde nite Integration and for Solving Di erential Equations in Closed Form AMS
Short Course on Computer Algebra Ann Arb or Michigan August
The Coming Revolution in Scienti c Computation Cuyahoga Valley Chapter of ACM Novemb er
Liouville Typ e Theorems for Di erential Equations Mathematics Collo quium Kent State Uni
versity Novemb er
A Survey of Computer Algebra Joint Computer Science and Mathematics Collo quium NC State
University Decemb er
Algorithms for Inde nite Integration and for Solving Di erential Equations in Closed Form
Invited Address Europ ean Computer Algebra Meeting Antwerp Belgium January
An Intro duction to Symb olic Integration with Some Recent Results Informatica Collo quium
Institut National Polytechnique de Grenoble January Informatica Collo quium Johannes
Kepler Universit at Linz Austria January
e Louis Pasteur Liouville Typ e Theorems for ODEs Lecture to Seminar on Algorithms Universit
Strasb ourg France January
Algebraic Computation Invited Address Army Conference on Numerical Analysis and Comput
ers Huntsville Alabama February
An Intro duction to Symb olic Integration with Some Recent Results Combined Numerical Anal
ysis and Theory Seminar Computer Science Department University of Toronto March
A Survey of Symb olic Mathematical Computation Invited Address Southeastern Section Math
ematical Asso ciation of America April
Algebraic Computation New Directions in Scienti c Computing General Electric Corp orate
Research and Development Collo quium June
Research Department Collo quium Sp erry Univac Decemb er
Algorithms for Integration and for Solving ODEs in Closed Form Computer Science Collo quium
Cornell University Novemb er
A Survey and Some Recent Results on Algorithms for Symb olic Integration Computer and
Information Sciences Collo quium University of Pennsylvania February
Mathematical Science Collo quium Salisbury State College March
Series of lectures on integration in nite terms Dept of Computer Science Univ of Waterlo o
July
Algorithms for Solving Di erential Equations in Closed Form Computer Science Collo quium
Univ of North Carolina Feb
Research in Computing and Mathematics at the Univ of Delaware Delaware Council of Teachers
of Mathematics Awards Dinner May
Integration in Finite Terms with Sp ecial Functions Johannes Kepler University Linz Austria
June
The Mechanization of Mathematics Provost s Faculty Dinner Seminar Univ of Delaware Sept
Computer Algebra Past and Future Keynote address Europ ean Conf on Computer Algebra
Linz Austria April
Some Recent Results on Integration in Finite Terms International Conf on Computer Algebra
and Its Applications in Theoretical Physics Joint Institute for Nuclear Research Dubna USSR
Sept
Advances in Symb olic and Algebraic Computation Computer Science Collo quium Temple Uni
versity April
Computer Science Collo quium University of Maryland Baltimore County Octob er
Decision Pro cedures for Solving Di erential Equations in Closed Form Computer Science Col
lo quium University of Virginia Novemb er
Computer Science Collo quium Ohio State University January
Invited lecture Workshop on Mathematical Asp ects of Scienti c Software Institute of
Mathematics and Its Applications Univ of Minnesota March
Invited lecture Europ ean Symp osium on Computer Algebra Leipzig June
Collo quium Sup ercomputer Research Center Oct
Collo quium National Bureau of Standards Nov
Invited presentation Army Conf on Applied Mathematics and Computing Boulder
CO June
Future Directions for Research in Symb olic Computation Collo quium Computer Science Dept
Rensselaer Polytechnic Institute Dec
Mathematical Computation the Future of Mathematics Univ of Delaware Math Graduate
Student Collo quium Oct
Computing First Integrals for First Order Nonlinear Di erential Equations Workshop on Geo
metric Algebraic Integration Algorithms Mathematical Sciences Inst Cornell Univ Nov
Integration in Finite Terms U of Maryland Baltimore County May
Computing First Integrals for Plane Autonomous Systems of ODEs University of Tuebingen
Tuebingen Germany Feb
Towards Decision Pro cedures for Solving Simple Di erential Equations in Closed Form Swiss
Federal Institute of Technology Zurich March
Towards Decision Pro cedures for Solving Simple Di erential Equations in Closed Form Invited
talk at the Rhine Workshop on Computer Algebra Karlsruhe Germany March
Towards Decision Pro cedures for Solving Simple Di erential Equations in Closed Form Univer
sity of Limoges France June
Academic Use of Technology at a Typical American University Banquet Address Workshop
on Computer Algebra in Science Engineering Center for Advanced Studies Univ of Bielefeld
Germany August
Towards Decision Pro cedures for Solving Simple Di erential Equations in Closed Form Dynamics
Seminar UDel Math Sciences Octob er
Creating Math Web Do cuments invited talk TeX User s Conf Sept