Publications
John J Wavrik



The two items marked * are unrefereed reports. All other articles are refereed publications.

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