{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:38:09Z","timestamp":1759639089310,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2009,2,6]],"date-time":"2009-02-06T00:00:00Z","timestamp":1233878400000},"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":[[2009,2,6]]},"abstract":"<jats:p>We are interested in the following problem: Given two (distinct) real algebraic numbers in isolating interval representation, that is an isolating interval with rational endpoints and a square free polynomial with integer coefficients, can we compute a number between them as a rational function of the coefficients of the polynomials that define these two numbers?<\/jats:p>\n          <jats:p>Assume that the order of the two numbers is known (we will remove this assumption in the sequel). If we are given intervals that contain the real algebraic numbers and a procedure to refine them, we can solve our problem as follows: We refine the intervals until they become disjoint, this will happen eventually since we assume that the algebraic numbers are not equal, and then we compute a rational between the intervals, which separates the algebraic numbers. However, this iterative approach depends on separation bounds, e.g. [7]. We present a direct method, which is applicable when we allow in addition to compute the floor of a polynomial expression that involves real algebraic numbers.<\/jats:p>\n          <jats:p>\n            The problem arises when we wish to compute rational numbers that isolate the roots of an integer polynomial of small degree, say \u2264 5 [2]. Also in geometry, in order to analyse the intersection of two quadrics\n            <jats:italic>P<\/jats:italic>\n            and\n            <jats:italic>Q<\/jats:italic>\n            [6], one needs to determine the real roots of the polynomial det(\n            <jats:italic>P<\/jats:italic>\n            +\n            <jats:italic>xQ<\/jats:italic>\n            ) = 0, their multiplicities and a value in between each of these roots. Another motivation comes from the arrangement of quadrics [4] In this case a rational is needed separating two real roots of two polynomials with real algebraic numbers as coefficients. The real roots of such polynomials can be expressed as real algerbaic numbers and so we face the problem of computing a rational separating two real algebraic numbers.\n          <\/jats:p>","DOI":"10.1145\/1504347.1504367","type":"journal-article","created":{"date-parts":[[2009,2,17]],"date-time":"2009-02-17T13:18:18Z","timestamp":1234876698000},"page":"160-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing a rational in between"],"prefix":"10.1145","volume":"42","author":[{"given":"Ioannis","family":"Emiris","sequence":"first","affiliation":[{"name":"University of Athens"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Mourrain","sequence":"additional","affiliation":[{"name":"INRIA Sophia Antipolis M\u00e9diterran\u00e9e, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elias","family":"Tsigaridas","sequence":"additional","affiliation":[{"name":"INRIA Sophia Antipolis M\u00e9diterran\u00e9e, France and Partially supported by contract ANR-06-BLAN-0074 \"Decotes\""}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,2,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-314X(90)90075-3"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.009"},{"key":"e_1_2_1_3_1","volume-title":"\u015etef\u0103nescu. Polynomials: An algorithmic approach","author":"Mignotte M.","year":"1999","unstructured":"M. Mignotte and D. \u015etef\u0103nescu. Polynomials: An algorithmic approach . Springer , 1999 . M. Mignotte and D. \u015etef\u0103nescu. Polynomials: An algorithmic approach. Springer, 1999."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2004.05.003"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.7153\/mia-05-36"},{"key":"e_1_2_1_6_1","volume-title":"Signature sequence of intersection curve of two quadrics for exact morphological classification","author":"Tu C.","year":"2005","unstructured":"C. Tu , W. Wang , B. Mourrain , and J. Wang . Signature sequence of intersection curve of two quadrics for exact morphological classification . 2005 . URL citeseer.ist.psu.edu\/tu05signature.html. (to appear in CAGD). C. Tu, W. Wang, B. Mourrain, and J. Wang. Signature sequence of intersection curve of two quadrics for exact morphological classification. 2005. URL citeseer.ist.psu.edu\/tu05signature.html. (to appear in CAGD)."},{"key":"e_1_2_1_7_1","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"Yap C.K.","year":"2000","unstructured":"C.K. Yap . Fundamental Problems of Algorithmic Algebra . Oxford University Press , New York , 2000 . C.K. Yap. Fundamental Problems of Algorithmic Algebra. Oxford University Press, New York, 2000."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1504347.1504367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1504347.1504367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:31Z","timestamp":1750253371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1504347.1504367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,6]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,2,6]]}},"alternative-id":["10.1145\/1504347.1504367"],"URL":"https:\/\/doi.org\/10.1145\/1504347.1504367","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2009,2,6]]},"assertion":[{"value":"2009-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}