Abstract | ||
---|---|---|
Computer symbolic mathematics has made impressive progress for the automatic simplification of rational expressions, algebraic expressions, and elementary transcendental expressions. However, existing computer-algebra systems tend to provide little or no simplification for the absolute-value function or for its relatives such as the signum, unit ramp, unit step, max, min, modulo, and Dirac delta functions. Although these functions lack certain desireable properties that are helpful for canonical simplification, there are opportunities for some ad hoc simplification. Moreover, a perusal of most mathematics, engineering, and scientific journals or texts reveals that these functions are too prevalent to be ignored.This article describes specific simplification rules implemented in a program that supplements the built-in rules for the MACSYMA ABS and SIGNUM functions. |
Year | DOI | Venue |
---|---|---|
1976 | 10.1145/1088222.1088230 | ACM SIGSAM Bulletin |
Keywords | Field | DocType |
canonical simplification,simplification,unit step,macsyma abs,specific simplification rule,unit ramp,absolute value,computer symbolic mathematics,signum function,absolute-value function,macsyma,signum,automatic simplification,dirac delta function,symbolic algebraic manipulation,value function | Expression (mathematics),Algebra,Absolute value,Modulo,Dirac delta function,Transcendental number,Algebraic expression,Mathematics | Journal |
Volume | Issue | Citations |
10 | 4 | 1 |
PageRank | References | Authors |
0.44 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
David R. Stoutemyer | 1 | 49 | 19.14 |