John J. Wavrik

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

John J. Wavrik
Commutativity Theorems: Examples in Search of Algorithms. ISSAC (1999)
J. William Helton, Mark Stankus, John J. Wavrik
Computer simplification of formulas in linear systems theory. IEEE Trans. Autom. Control. 43 (3) (1998)
John J. Wavrik
Rewrite Rules and Simplification of Matrix Expressions. Comput. Sci. J. Moldova 4 (3) (1996)
John J. Wavrik
Use of Forth in a course in computer algebra. FORTH (1991)