Problems with simplification in current computer algebra systems is discussed, including the insolvability of simplification, the lack of an ideal canonical form, loss of mathematical correctness, lack of an aggressive search, and lack of common identities. Various possible solutions are discussed. An improved method of simplifying mathematical expressions in the Maple computer algebra system is developed.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Nassar, Nicholas Joseph

Publisher

• Worcester Polytechnic Institute

Identifier

• 03D018M

Advisor

• Hofri, Micha
• Selkow, Stanley M.

Year

• 2003

Date created

• 2003-01-01

Resource type

• Major Qualifying Project

Major

• Computer Science

Rights statement

• In Copyright