2003

*

The Word Problem and
Relations in Rings

2003


Using
Groups32 in Instruction

2002


Evolution of
a Computer Application

2001 
*

Groups32  source code with
detailed comments

2000


Groups32

1999


Commutativity
Theorems

1998


An Extensible
User Interface

1996


Automated
Simplification and Deduction for Engineering Formulas

1996


Rewrite Rules
and Simplification of Matrix Expressions

1998


Computer
Simplification of Formulas in Linear Systems Theory

1994


Computer
Simplification of Engineering Systems Formulas

1994


Rules for
Computer Simplification of the Formulas in Operator
Model Theory and Linear Systems

1993


Difference
Polynomials

1992


Zeros of
Difference Polynomials

1991


Use of Forth
in a Course in Computer Algebra

1990


Handling
multiple data types in Forth

1989


Userdefined
systems for pure mathematics

1982


Computers and
the multiplicity of polynomial roots

1980 

Mathematics Education for the Gifted
Elementary School Student 
1978


Analytic
equations and singularities of plane curves

1976


Deformations and analytic equations

1975


A theorem on solutions of analytic
equations with applications
to deformations of complex structures

1973


First order completeness theorems

1973


Deforming cohomology classes

1972


A theorem of completeness for
families of compact analytic spaces

1969


Obstructions to the existence of a
space of moduli

1968


Deformations of branched coverings
of complex manifolds
