{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:39Z","timestamp":1750307259619,"version":"3.41.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"1\/2","license":[{"start":{"date-parts":[[2011,7,25]],"date-time":"2011-07-25T00:00:00Z","timestamp":1311552000000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2011,7,25]]},"abstract":"<jats:p>This article takes an analytical viewpoint to address the following questions:<\/jats:p>\n          <jats:p>1. How can we justifiably beautify an input or result sum of non-numeric terms that has some approximate coefficients by deleting some terms and\/or rounding some coefficients to simpler floating-point or rational numbers?<\/jats:p>\n          <jats:p>2. When we add two expressions, how can we justifiably delete more non-zero result terms and\/or round some result coefficients to even simpler floating-point, rational or irrational numbers?<\/jats:p>\n          <jats:p>The methods considered in this paper provide a justifiable scale-invariant way to attack these problems for subexpressions that are multivariate sums of monomials with real exponents.<\/jats:p>","DOI":"10.1145\/2016567.2016570","type":"journal-article","created":{"date-parts":[[2011,8,10]],"date-time":"2011-08-10T16:16:22Z","timestamp":1312992982000},"page":"17-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Rounding coefficients and artificially underflowing terms in non-numeric expressions"],"prefix":"10.1145","volume":"45","author":[{"given":"Robert","family":"Corless","sequence":"first","affiliation":[{"name":"University of Western Ontario in London, ON"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Postma","sequence":"additional","affiliation":[{"name":"Maplesoft, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David R.","family":"Stoutemyer","sequence":"additional","affiliation":[{"name":"University of Hawaii, Honolulu, Hawaii"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,7,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.05.002"},{"key":"e_1_2_1_2_1","volume-title":"Introduction to interval computations","author":"Alefeld G\u00f6tz","year":"1983","unstructured":"G\u00f6tz Alefeld and J\u00fcrgen Herzberger . Introduction to interval computations . Academic Press , 1983 . G\u00f6tz Alefeld and J\u00fcrgen Herzberger. Introduction to interval computations. Academic Press, 1983."},{"key":"e_1_2_1_3_1","volume-title":"Maple Summer Workshop","author":"Borwein Peter","year":"2002","unstructured":"Peter Borwein , Kevin Hare , and Alan Meichsner . Reverse symbolic computations, the identify function . In Maple Summer Workshop , 2002 . http:\/\/www.cecm.sfu.ca\/personal\/pborwein\/PAPERS\/P175.pdf. Peter Borwein, Kevin Hare, and Alan Meichsner. Reverse symbolic computations, the identify function. In Maple Summer Workshop, 2002. http:\/\/www.cecm.sfu.ca\/personal\/pborwein\/PAPERS\/P175.pdf."},{"key":"e_1_2_1_4_1","series-title":"Lecture Notes in AI","first-page":"174","volume-title":"Proceedings AISC","author":"Corless Robert M.","year":"2000","unstructured":"Robert M. Corless , Mark W. Giesbrecht , Ilias S. Kotsireas , and Stephen M. Watt . Numerical implicitization of parametric hypersurfaces with linear algebra . In Proceedings AISC 2000 , Madrid, volume 1930 of Lecture Notes in AI , pages 174 -- 183 . Springer , 2000. Ontario Research Centre for Computer Algebra Technical Report TR-00-03, http:\/\/www.orcca.on.ca\/ TechReports. Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas, and Stephen M. Watt. Numerical implicitization of parametric hypersurfaces with linear algebra. In Proceedings AISC 2000, Madrid, volume 1930 of Lecture Notes in AI, pages 174--183. Springer, 2000. Ontario Research Centre for Computer Algebra Technical Report TR-00-03, http:\/\/www.orcca.on.ca\/ TechReports."},{"key":"e_1_2_1_5_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","year":"2000","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . Introduction to Algorithms , 2 nd edition. MIT Press, McGraw- Hill Book Company , 2000 . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, 2nd edition. MIT Press, McGraw-Hill Book Company, 2000.","edition":"2"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/07069715X"},{"key":"e_1_2_1_7_1","volume-title":"Davenport. Simultaneous Diophantine Approximation. Proceedings of the London Mathematical Society, s3-2(1):406--416","author":"Harold","year":"1952","unstructured":"Harold Davenport. Simultaneous Diophantine Approximation. Proceedings of the London Mathematical Society, s3-2(1):406--416 , 1952 . Harold Davenport. Simultaneous Diophantine Approximation. Proceedings of the London Mathematical Society, s3-2(1):406--416, 1952."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-99-00995-3"},{"key":"e_1_2_1_9_1","volume-title":"Computer Methods for Mathematical Computations","author":"Forsythe George E.","year":"1977","unstructured":"George E. Forsythe , Michael A. Malcolm , and Cleve B. Moler . Computer Methods for Mathematical Computations . Prentice-Hall , 1977 . George E. Forsythe, Michael A. Malcolm, and Cleve B. Moler. Computer Methods for Mathematical Computations. Prentice-Hall, 1977."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90017-X"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01404681"},{"key":"e_1_2_1_12_1","volume-title":"Modern computer algebra","author":"von zur Gathen Joachim","year":"1999","unstructured":"Joachim von zur Gathen and J\u00fcrgen Gerhard . Modern computer algebra . Cambridge University Press , Cambridge ; New York, 1999 . Joachim von zur Gathen and J\u00fcrgen Gerhard. Modern computer algebra. Cambridge University Press, Cambridge ; New York, 1999."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.11.003"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.11.010"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham Nicholas J.","year":"2002","unstructured":"Nicholas J. Higham . Accuracy and Stability of Numerical Algorithms . Society for Industrial and Applied Mathematics , Philadelphia, PA, USA , second edition, 2002 . Nicholas J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition, 2002."},{"key":"e_1_2_1_17_1","volume-title":"Erich Kaltofen. Computer algebra handbook: foundations, applications, systems.","author":"Weispfenning Volker","year":"2003","unstructured":"Volker Weispfenning (editors) Johannes Grabmeier , Erich Kaltofen. Computer algebra handbook: foundations, applications, systems. Berlin ; New York : Springer , 2003 . Volker Weispfenning (editors) Johannes Grabmeier, Erich Kaltofen. Computer algebra handbook: foundations, applications, systems. Berlin ; New York : Springer, 2003."},{"key":"e_1_2_1_18_1","unstructured":"William Kahan. A brief tutorial on gradual underflow. http:\/\/www.eecs.berkeley.edu\/~wkahan\/ARITH_17U.pdf 2005 (accessed April 2010).  William Kahan. A brief tutorial on gradual underflow. http:\/\/www.eecs.berkeley.edu\/~wkahan\/ARITH_17U.pdf 2005 (accessed April 2010)."},{"key":"e_1_2_1_19_1","volume-title":"MIT","author":"Khungurn Pramook","year":"2007","unstructured":"Pramook Khungurn . Shirayanagi-Sweedler algebraic algorithm stabilization and polynomial gcd algorithms. Master's thesis , MIT , 2007 . Pramook Khungurn. Shirayanagi-Sweedler algebraic algorithm stabilization and polynomial gcd algorithms. Master's thesis, MIT, 2007."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214016"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457454"},{"issue":"4","key":"e_1_2_1_22_1","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"Makino Kyoko","year":"2003","unstructured":"Kyoko Makino and Martin Berz . Taylor models and other validated functional inclusion methods . International Journal , 4 ( 4 ): 379 -- 456 , 2003 . Kyoko Makino and Martin Berz. Taylor models and other validated functional inclusion methods. International Journal, 4(4):379--456, 2003.","journal-title":"International Journal"},{"key":"e_1_2_1_23_1","unstructured":"The Numerical Algorithms Group. The NAG Fortran Library Manual - Mark 22.  The Numerical Algorithms Group. The NAG Fortran Library Manual - Mark 22."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/97444.97691"},{"key":"e_1_2_1_25_1","volume-title":"Halsted Pr","author":"Ratschek Helmut","year":"1984","unstructured":"Helmut Ratschek and Jon Rokne . Computer methods for the range of functions . Halsted Pr , 1984 . Helmut Ratschek and Jon Rokne. Computer methods for the range of functions. Halsted Pr, 1984."},{"key":"e_1_2_1_26_1","volume-title":"Approximate polynomials in different bases. Master's thesis","author":"Rezvani Nargol","year":"2005","unstructured":"Nargol Rezvani . Approximate polynomials in different bases. Master's thesis , University of Western Ontario , 2005 . Nargol Rezvani. Approximate polynomials in different bases. Master's thesis, University of Western Ontario, 2005."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113439.1113442"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0157"},{"key":"e_1_2_1_29_1","volume-title":"Chebyshev polynomials: from approximation theory to number theory","author":"Rivlin Theodore J.","year":"1990","unstructured":"Theodore J. Rivlin . Chebyshev polynomials: from approximation theory to number theory . Wiley , 1990 . Theodore J. Rivlin. Chebyshev polynomials: from approximation theory to number theory. Wiley, 1990."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/362515.362563"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022374804152"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.007"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/500457.500458"},{"key":"e_1_2_1_34_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898717976","volume-title":"Numerical Polynomial Algebra","author":"Stetter Hans J.","year":"2004","unstructured":"Hans J. Stetter . Numerical Polynomial Algebra . SIAM , 2004 . Hans J. Stetter. Numerical Polynomial Algebra. SIAM, 2004."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/0611023"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1211741"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005331"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2016567.2016570","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2016567.2016570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:32Z","timestamp":1750243952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2016567.2016570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,25]]},"references-count":37,"journal-issue":{"issue":"1\/2","published-print":{"date-parts":[[2011,7,25]]}},"alternative-id":["10.1145\/2016567.2016570"],"URL":"https:\/\/doi.org\/10.1145\/2016567.2016570","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2011,7,25]]},"assertion":[{"value":"2011-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}