{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:14Z","timestamp":1750309094828,"version":"3.41.0"},"reference-count":1,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1976,11,1]],"date-time":"1976-11-01T00:00:00Z","timestamp":215654400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSAM Bull."],"published-print":{"date-parts":[[1976,11]]},"abstract":"<jats:p>\n            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\n            <jats:italic>ad hoc<\/jats:italic>\n            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.\n          <\/jats:p>","DOI":"10.1145\/1088222.1088230","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"48-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatic simplification for the absolute-value function and its relatives"],"prefix":"10.1145","volume":"10","author":[{"given":"David R.","family":"Stoutemyer","sequence":"first","affiliation":[{"name":"University of Hawaii"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1976,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806328"}],"container-title":["ACM SIGSAM Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088222.1088230","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1088222.1088230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:44Z","timestamp":1750286624000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088222.1088230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976,11]]},"references-count":1,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1976,11]]}},"alternative-id":["10.1145\/1088222.1088230"],"URL":"https:\/\/doi.org\/10.1145\/1088222.1088230","relation":{},"ISSN":["0163-5824"],"issn-type":[{"type":"print","value":"0163-5824"}],"subject":[],"published":{"date-parts":[[1976,11]]},"assertion":[{"value":"1976-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}