{"id":"https://openalex.org/W267119820","doi":"https://doi.org/10.1017/s0960129506005822","title":"RealLib: An efficient implementation of exact real arithmetic","display_name":"RealLib: An efficient implementation of exact real arithmetic","publication_year":2007,"publication_date":"2007-02-01","ids":{"openalex":"https://openalex.org/W267119820","doi":"https://doi.org/10.1017/s0960129506005822","mag":"267119820"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129506005822","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129506005822","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050249679","display_name":"Branimir Lambov","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"BRANIMIR LAMBOV","raw_affiliation_strings":["BRICS, University of Aarhus, IT Parken, 8200 Aarhus N, Denmark Email:","BRICS, University of Aarhus, IT Parken, 8200 Aarhus N, Denmark Email: barnie@brics.dk#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"BRICS, University of Aarhus, IT Parken, 8200 Aarhus N, Denmark Email:","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"BRICS, University of Aarhus, IT Parken, 8200 Aarhus N, Denmark Email: barnie@brics.dk#TAB#","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050249679"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":0.3739,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.60575031,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":"1","first_page":"81","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.7828797101974487},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6542568802833557},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.545403003692627},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.523235023021698},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.510228157043457},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.47658249735832214},{"id":"https://openalex.org/keywords/saturation-arithmetic","display_name":"Saturation arithmetic","score":0.4171353578567505},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28418415784835815},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24547767639160156}],"concepts":[{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.7828797101974487},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6542568802833557},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.545403003692627},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.523235023021698},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.510228157043457},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.47658249735832214},{"id":"https://openalex.org/C182775192","wikidata":"https://www.wikidata.org/wiki/Q913725","display_name":"Saturation arithmetic","level":3,"score":0.4171353578567505},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28418415784835815},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24547767639160156},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129506005822","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129506005822","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/b5367ac0-b1be-11da-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/b5367ac0-b1be-11da-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lambov, B Z 2005, RealLib: an Efficient Implementation of Exact Real Arithmetic. in T Grubba, P Hertling, H Tsuiki & K Weihrauch (eds), econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005). pp. 169-175.","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"mag:267119820","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/cca/cca2005.html#Lambov05","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W220096824","https://openalex.org/W1481623121","https://openalex.org/W1497475168","https://openalex.org/W1545819195","https://openalex.org/W1824467726","https://openalex.org/W1974032946","https://openalex.org/W2027176693","https://openalex.org/W2073476805","https://openalex.org/W2075490047","https://openalex.org/W2104380208","https://openalex.org/W2151121305","https://openalex.org/W2611511037","https://openalex.org/W4243563333"],"related_works":["https://openalex.org/W2788739008","https://openalex.org/W2076053851","https://openalex.org/W3205213491","https://openalex.org/W1811688889","https://openalex.org/W2391359811","https://openalex.org/W2551411059","https://openalex.org/W2949609940","https://openalex.org/W188496000","https://openalex.org/W3195964985","https://openalex.org/W1797291051","https://openalex.org/W2945535377","https://openalex.org/W2144397004","https://openalex.org/W3131150301","https://openalex.org/W2154440075","https://openalex.org/W2294157403","https://openalex.org/W2972022704","https://openalex.org/W1513488673","https://openalex.org/W2169657197","https://openalex.org/W3095674683","https://openalex.org/W3039722244"],"abstract_inverted_index":{"This":[0],"paper":[1,43],"is":[2],"an":[3],"introduction":[4],"to":[5,21,27],"the":[6,28,45,50,53],"RealLib":[7],"package":[8],"for":[9,34,61],"exact":[10,62],"real":[11,63],"number":[12],"computations.":[13],"The":[14,42],"library":[15,54],"provides":[16],"certified":[17],"accuracy,":[18],"but":[19],"tries":[20],"achieve":[22],"this":[23],"at":[24],"performance":[25,29],"close":[26],"of":[30,49,52],"hardware":[31],"floating":[32],"point":[33],"problems":[35],"that":[36],"do":[37],"not":[38],"require":[39],"higher":[40],"precision.":[41],"gives":[44],"motivation":[46],"and":[47,55],"features":[48],"design":[51],"compares":[56],"it":[57],"with":[58],"other":[59],"packages":[60],"arithmetic.":[64]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}