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
|
|
User-defined
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
|