{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:42:29Z","timestamp":1730313749491,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,24]]},"DOI":"10.1145\/1073884.1073892","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"37-44","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Adherence is better than adjacency"],"prefix":"10.1145","author":[{"given":"James C.","family":"Beaumont","sequence":"first","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russell J.","family":"Bradford","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nalina","family":"Phisanbut","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, England"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables","author":"Abramowitz M.","year":"1984","unstructured":"Abramowitz , M. & Stegun , I. , Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables . J. Wiley & Sons Inc ., May 1984 . Abramowitz, M. & Stegun, I., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. J. Wiley & Sons Inc., May 1984."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80012-9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860867"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005292"},{"key":"e_1_3_2_1_5_1","volume-title":"Algorithmic Algebra and Logic","author":"Beaumont J. C.","year":"2005","unstructured":"Beaumont , J. C. , Bradford , R. & Phisanbut , N. Practical Simplification of Elementary Functions using CAD . In Algorithmic Algebra and Logic 2005 . Beaumont, J. C., Bradford, R. & Phisanbut, N. Practical Simplification of Elementary Functions using CAD. In Algorithmic Algebra and Logic 2005."},{"key":"e_1_3_2_1_6_1","unstructured":"Beaumont J. C. Bradford R. & Phisanbut N. \n   Effective Simplification of Elementary Functions in preparation.  ---. Effective Simplification of Elementary Functions in preparation."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016007415899"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780509"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005298"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. 2nd. GI Conf. Automata Theory & Formal Languages","volume":"33","author":"Collins G.","year":"1975","unstructured":"Collins , G. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition . Proc. 2nd. GI Conf. Automata Theory & Formal Languages ( 1975 ), vol. 33 of SLNCS. Collins, G. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Proc. 2nd. GI Conf. Automata Theory & Formal Languages (1975), vol. 33 of SLNCS."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0499"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/362001.362023"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/235699.235705"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02124750"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Davenport J. H. The Geometry of Cn is Important for the Algebra of Elementary Functions. in Algebra Geometry and Software Systems 207-224 (2003).  Davenport J. H. The Geometry of Cn is Important for the Algebra of Elementary Functions. in Algebra Geometry and Software Systems 207-224 (2003).","DOI":"10.1007\/978-3-662-05148-1_11"},{"volume-title":"Computer: A Case Study In MKM 2003 17--29","author":"Davenport J. H.","key":"e_1_3_2_1_16_1","unstructured":"Davenport , J. H. , MKM from Book to Computer: A Case Study In MKM 2003 17--29 , A. Asperti, B. Buchberger, J. H. Davenport, Ed., Springer. Davenport, J. H., MKM from Book to Computer: A Case Study In MKM 2003 17--29, A. Asperti, B. Buchberger, J. H. Davenport, Ed., Springer."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005303"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190424"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01202001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(00)00149-3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040034.1040036"},{"key":"e_1_3_2_1_23_1","volume-title":"Advances in Computational Mathematics 14, no.8","author":"Moses J.","year":"1971","unstructured":"Moses , J. Algebraic Simplification , a Guide for the Perplexed . In Advances in Computational Mathematics 14, no.8 ( 1971 ). Moses, J. Algebraic Simplification, a Guide for the Perplexed. In Advances in Computational Mathematics 14, no.8 (1971)."},{"key":"e_1_3_2_1_24_1","unstructured":"H. Honget al. Quantifier Elimination by Partial Cylindrical Algebraic Decomposition. http:\/\/www.cs.usna.edu\/~qepcad\/B\/QEPCAD.html  H. Honget al. Quantifier Elimination by Partial Cylindrical Algebraic Decomposition. http:\/\/www.cs.usna.edu\/~qepcad\/B\/QEPCAD.html"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0157"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780521"}],"event":{"name":"ISSAC05: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Beijing China","acronym":"ISSAC05"},"container-title":["Proceedings of the 2005 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1073884.1073892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T22:38:51Z","timestamp":1673303931000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1073884.1073892"}},"subtitle":["computing the Riemann index using CAD"],"short-title":[],"issued":{"date-parts":[[2005,7,24]]},"references-count":27,"alternative-id":["10.1145\/1073884.1073892","10.1145\/1073884"],"URL":"https:\/\/doi.org\/10.1145\/1073884.1073892","relation":{},"subject":[],"published":{"date-parts":[[2005,7,24]]},"assertion":[{"value":"2005-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}