{"id":"https://openalex.org/W2076398881","doi":"https://doi.org/10.1007/s11334-010-0128-x","title":"Improved bound for stochastic formal correctness of numerical algorithms","display_name":"Improved bound for stochastic formal correctness of numerical algorithms","publication_year":2010,"publication_date":"2010-04-12","ids":{"openalex":"https://openalex.org/W2076398881","doi":"https://doi.org/10.1007/s11334-010-0128-x","mag":"2076398881"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-010-0128-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-010-0128-x","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","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/A5025003300","display_name":"Marc Daumas","orcid":null},"institutions":[{"id":"https://openalex.org/I151295451","display_name":"Universit\u00e9 de Perpignan","ror":"https://ror.org/03am2jy38","country_code":"FR","type":"education","lineage":["https://openalex.org/I151295451"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Daumas","raw_affiliation_strings":["\u00c9LIAUS (EA 3679 UPVD), Universit\u00e9 de Perpignan Via Domitia, 52 Avenue Paul Alduy, 66860, Perpignan Cedex 9, France","\u00c9LIAUS (EA 3679 UPVD), Universit\u00e9 de Perpignan Via Domitia, Perpignan Cedex 9, France 66860#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9LIAUS (EA 3679 UPVD), Universit\u00e9 de Perpignan Via Domitia, 52 Avenue Paul Alduy, 66860, Perpignan Cedex 9, France","institution_ids":["https://openalex.org/I151295451"]},{"raw_affiliation_string":"\u00c9LIAUS (EA 3679 UPVD), Universit\u00e9 de Perpignan Via Domitia, Perpignan Cedex 9, France 66860#TAB#","institution_ids":["https://openalex.org/I151295451"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039574409","display_name":"David Lester","orcid":"https://orcid.org/0000-0002-7267-291X"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Lester","raw_affiliation_strings":["School of Computer Science, University of Manchester, Manchester, M13 9PL, UK","School of Computer Science, University of Manchester, Manchester, UK M13 9PL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Manchester, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"School of Computer Science, University of Manchester, Manchester, UK M13 9PL","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109222954","display_name":"\u00c9rik Martin-Dorel","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"\u00c9rik Martin-Dorel","raw_affiliation_strings":["LIP (UMR 5668 CNRS, ENSL, INRIA, UCBL, U. Lyon), \u00c9cole Normale Sup\u00e9rieure de Lyon, LIP, 46 all\u00e9e d\u2019Italie, 69364, Lyon Cedex 07, France","LIP (UMR 5668 CNRS, ENSL, INRIA, UCBL, U. Lyon), \u00c9cole Normale Sup\u00e9rieure de Lyon, LIP, Lyon Cedex 07, France 69364#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP (UMR 5668 CNRS, ENSL, INRIA, UCBL, U. Lyon), \u00c9cole Normale Sup\u00e9rieure de Lyon, LIP, 46 all\u00e9e d\u2019Italie, 69364, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LIP (UMR 5668 CNRS, ENSL, INRIA, UCBL, U. Lyon), \u00c9cole Normale Sup\u00e9rieure de Lyon, LIP, Lyon Cedex 07, France 69364#TAB#","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I4210144566"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079970931","display_name":"Annick Truffert","orcid":null},"institutions":[{"id":"https://openalex.org/I151295451","display_name":"Universit\u00e9 de Perpignan","ror":"https://ror.org/03am2jy38","country_code":"FR","type":"education","lineage":["https://openalex.org/I151295451"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Annick Truffert","raw_affiliation_strings":["LAMPS (EA 4217 UPVD), Universit\u00e9 de Perpignan Via Domitia, 52 Avenue Paul Alduy, 66860, Perpignan Cedex 9, France","LAMPS (EA 4217 UPVD), Universit\u00e9 de Perpignan Via Domitia, Perpignan Cedex 9, France 66860#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAMPS (EA 4217 UPVD), Universit\u00e9 de Perpignan Via Domitia, 52 Avenue Paul Alduy, 66860, Perpignan Cedex 9, France","institution_ids":["https://openalex.org/I151295451"]},{"raw_affiliation_string":"LAMPS (EA 4217 UPVD), Universit\u00e9 de Perpignan Via Domitia, Perpignan Cedex 9, France 66860#TAB#","institution_ids":["https://openalex.org/I151295451"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5109222954"],"corresponding_institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I4210144566"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":0.3181,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.62571146,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"6","issue":"3","first_page":"173","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":1.0,"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":1.0,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.992900013923645,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/correctness","display_name":"Correctness","score":0.7664865851402283},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6001409888267517},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5544789433479309},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.5494225025177002},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5373365879058838},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5210870504379272},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5201392769813538},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.48895084857940674},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4451161324977875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4152883291244507},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3505529761314392},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12496289610862732},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09235426783561707}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7664865851402283},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6001409888267517},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5544789433479309},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.5494225025177002},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5373365879058838},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5210870504379272},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5201392769813538},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.48895084857940674},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4451161324977875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4152883291244507},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3505529761314392},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12496289610862732},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09235426783561707},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s11334-010-0128-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-010-0128-x","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/bc26748d-191f-4d5c-9b84-abc2686ec718","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/bc26748d-191f-4d5c-9b84-abc2686ec718","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Daumas, M, Lester, D, Martin-Dorel, \u00c9 & Truffert, A 2010, 'Improved bound for stochastic formal correctness of numerical algorithms', Innovations in Systems and Software Engineering, vol. 6, no. 3, pp. 173-179. https://doi.org/10.1007/s11334-010-0128-x","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/bc26748d-191f-4d5c-9b84-abc2686ec718","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/improved-bound-for-stochastic-formal-correctness-of-numerical-algorithms(bc26748d-191f-4d5c-9b84-abc2686ec718).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Daumas, M, Lester, D, Martin-Dorel, \u00c9 & Truffert, A 2010, 'Improved bound for stochastic formal correctness of numerical algorithms', Innovations in Systems and Software Engineering, vol. 6, no. 3, pp. 173-179. https://doi.org/10.1007/s11334-010-0128-x","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W144074862","https://openalex.org/W623044855","https://openalex.org/W938919466","https://openalex.org/W1509799206","https://openalex.org/W1521083034","https://openalex.org/W1534850143","https://openalex.org/W1563505767","https://openalex.org/W1597068544","https://openalex.org/W1967131543","https://openalex.org/W1981663184","https://openalex.org/W1995997000","https://openalex.org/W1999470254","https://openalex.org/W2001389109","https://openalex.org/W2093361468","https://openalex.org/W2099508351","https://openalex.org/W2099571283","https://openalex.org/W2109125945","https://openalex.org/W2132303335","https://openalex.org/W2169004268","https://openalex.org/W2174515752","https://openalex.org/W2204310803","https://openalex.org/W2487908531","https://openalex.org/W2752853835"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1875930651"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}