Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleAutomated Simplification and Deduction for Engineering Formulas
Author(s) John J. Wavrik
TypeTechnical Report, Misc
AbstractThe commutative version of the Groebner Basis Algorithm has become one of the most powerful tools in computer algebra. The recent adaptation of the algorithm to noncommuting variables has potential applications to matrix and operator expressions. A Forth-based research system was used to implement and study applications of a noncommutative variant of the Groebner Basis Algorithm. It has been used in automated simplification and deduction for formulas in engineering. The paper will discuss this work and the use of Forth in producing systems for mathematics research.
Translation No
Refereed No