Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wavrik, John J - Department of Mathematics, University of California at San Diego
J Wavrik -Deduction and Simplification -Page 1 of 15 Automated Simplification and Deduction
The Word Problem and Relations in Rings John Wavrik
Using Groups32 in Instruction JOHN J. WAVRIK
JOMA Journal of Online Mathematics and its Applications Wavrik -1 Evolution of a Computer Application
Journal of Forth Application and Research Volume 6, Number 1 (1990), pp. 65-76 HANDLING MULTIPLE DATA TYPES IN FORTH
Computer Science Journal of Moldova, vol.4, no.2(11), 1996 Rewrite Rules and Simplification of Matrix
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. XX, NO. Y, MONTH 1999 1 Computer Simplification of Formulas in Linear
Forth Dimensions XIX.6 19 AnExtensibleUserInterface
Commutativity Theorems page 1 John J Wavrik Commutativity Theorems
USER-DEFINED SYSTEMS FOR PURE MATHEMATICS
