{"id":"https://openalex.org/W80014337","doi":"https://doi.org/10.1016/s1571-0661(05)80618-8","title":"Preface","display_name":"Preface","publication_year":2000,"publication_date":"2000-04-01","ids":{"openalex":"https://openalex.org/W80014337","doi":"https://doi.org/10.1016/s1571-0661(05)80618-8","mag":"80014337"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80618-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80618-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80618-8","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058087229","display_name":"Abbas Edalat","orcid":"https://orcid.org/0000-0002-6211-1991"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Abbas Edalat","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110252614","display_name":"David Matula","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Matula","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020386995","display_name":"Philipp S\u00fcnderhauf","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philipp S\u00fcnderhauf","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058087229"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4542,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60655355,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.8644999861717224,"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.8644999861717224,"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.7734000086784363,"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/T10126","display_name":"Logic, programming, and type systems","score":0.7021999955177307,"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/computer-science","display_name":"Computer science","score":0.7041934728622437},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.602898895740509},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5526332855224609},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4393364489078522},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.436585932970047},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.42420488595962524},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34062227606773376},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33260756731033325},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18055760860443115},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.16597029566764832}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7041934728622437},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.602898895740509},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5526332855224609},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4393364489078522},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.436585932970047},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.42420488595962524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34062227606773376},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33260756731033325},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18055760860443115},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.16597029566764832},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80618-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80618-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80618-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80618-8","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W1976679120","https://openalex.org/W2128223750","https://openalex.org/W4281614748","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2788308474","https://openalex.org/W2991618286"],"abstract_inverted_index":{"The":[0,111,123,138,167,232],"usual":[1],"implementation":[2],"of":[3,60,64,93,134,159],"real":[4],"numbers":[5,12,19],"in":[6,50,70,103,107,119,142,266],"today's":[7],"computers":[8],"as":[9],"floating":[10],"point":[11],"has":[13],"the":[14,31,41,61,65,80,91,94,114,131,200,205,221,238,264,267],"well-known":[15],"deficiency":[16],"that":[17],"most":[18],"can":[20],"only":[21],"be":[22,36],"represented":[23],"up":[24],"to":[25,40,74,126,130,171,180,199,213,220,228,243,247,262],"some":[26],"fixed":[27],"accuracy.":[28],"Consequently,":[29],"even":[30],"basic":[32],"arithmetic":[33],"operations":[34],"cannot":[35],"performed":[37],"exactly,":[38],"leading":[39],"ubiquitous":[42],"round-off":[43],"errors.":[44],"This":[45,88],"is":[46,73,140],"a":[47,143,195,226],"serious":[48],"problem":[49],"all":[51,208,249],"disciplines":[52],"where":[53],"high":[54],"accuracy":[55],"calculations":[56],"are":[57],"required.":[58],"One":[59],"ultimate":[62],"goals":[63],"theoretical":[66],"and":[67,83,146,164,182,210,216,254,256,277],"practical":[68],"research":[69],"this":[71,193,245],"area":[72,133],"overcome":[75],"these":[76,175],"problems":[77],"by":[78,237],"improving":[79],"present":[81,127],"implementations":[82],"algorithms":[84],"or":[85],"providing":[86],"alternatives.":[87],"volume":[89],"contains":[90],"proceedings":[92,201,265],"Workshop":[95],"on":[96,117],"Real":[97,135],"Number":[98,136,162],"Computation":[99],"which":[100],"was":[101,169],"held":[102],"June":[104],"19-20,":[105],"1998,":[106],"Indianapolis,":[108],"Indiana,":[109],"USA.":[110],"workshop":[112,168,194,206],"preceded":[113],"IEEE":[115],"Symposium":[116],"Logic":[118],"Computer":[120,156],"Science":[121],"(LICS).":[122],"meeting":[124],"aimed":[125],"an":[128,178],"introduction":[129],"interdisciplinary":[132],"Computation.":[137],"subject":[139],"understood":[141],"broad":[144],"sense":[145],"covers":[147],"various":[148],"different":[149,176],"fields":[150],"like":[151,242],"Recursion":[152],"Theory,":[153,163],"Interval":[154],"Analysis,":[155],"Arithmetic,":[157],"Semantics":[158],"Programming":[160],"Languages,":[161],"Numerical":[165],"Analysis.":[166],"meant":[170],"provide":[172],"researchers":[173],"from":[174,189,207],"communities":[177],"opportunity":[179,246],"meet":[181],"exchange":[183],"ideas.":[184],"More":[185],"than":[186],"30":[187],"participants":[188,209],"eight":[190],"countries":[191],"made":[192],"succesful":[196],"event.":[197],"Contributions":[198],"were":[202,211,218,235],"invited":[203],"after":[204],"sent":[212],"referees.":[214],"Comments":[215],"suggestions":[217],"forwarded":[219],"authors":[222],"who":[223],"thus":[224],"had":[225],"chance":[227],"amend":[229],"their":[230,252],"texts.":[231],"final":[233],"versions":[234],"accepted":[236],"editors.":[239],"We":[240],"would":[241],"take":[244],"thank":[248],"referees":[250],"for":[251,259],"time":[253],"cooperation,":[255],"Michael":[257],"Mislove":[258],"his":[260],"invitation":[261],"publish":[263],"ENTCS":[268],"series.":[269],"23rd":[270],"August":[271],"1999":[272],"Abbas":[273],"Edalat,":[274],"David":[275],"Matula":[276],"Philipp":[278],"S\u00fcnderhauf,":[279],"Guest":[280],"Editors":[281]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}