{"id":"https://openalex.org/W2165964111","doi":"https://doi.org/10.1145/1838599.1838622","title":"LEMA","display_name":"LEMA","publication_year":2010,"publication_date":"2010-07-29","ids":{"openalex":"https://openalex.org/W2165964111","doi":"https://doi.org/10.1145/1838599.1838622","mag":"2165964111"},"language":"en","primary_location":{"id":"doi:10.1145/1838599.1838622","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1838599.1838622","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","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/A5102806164","display_name":"Vincent Lef\u00e8vre","orcid":"https://orcid.org/0000-0002-4045-8273"},"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":"Vincent Lef\u00e8vre","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036591565","display_name":"Philippe Th\u00e9veny","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":false,"raw_author_name":"Philippe Th\u00e9veny","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035966925","display_name":"Florent de Dinechin","orcid":"https://orcid.org/0000-0003-4927-3301"},"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":false,"raw_author_name":"Florent de Dinechin","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110628690","display_name":"Claude-Pierre Jeannerod","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":false,"raw_author_name":"Claude-Pierre Jeannerod","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036742464","display_name":"Christophe Mouilleron","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":false,"raw_author_name":"Christophe Mouilleron","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037120662","display_name":"David Pfannholzer","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":false,"raw_author_name":"David Pfannholzer","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088706134","display_name":"Nathalie Revol","orcid":"https://orcid.org/0000-0002-2503-2274"},"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":false,"raw_author_name":"Nathalie Revol","raw_affiliation_strings":["UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon"],"affiliations":[{"raw_affiliation_string":"UMR 5668 CNRS - ENS de Lyon - INRIA - UCBL, Universit\u00e9 de Lyon","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5102806164"],"corresponding_institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I4210144566"],"apc_list":null,"apc_paid":null,"fwci":0.3345,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64380274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"1/2","first_page":"41","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11034","display_name":"Digital Filter Design and Implementation","score":0.9776999950408936,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.7360008955001831},{"id":"https://openalex.org/keywords/rounding","display_name":"Rounding","score":0.7011822462081909},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5608641505241394},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.552760124206543},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5489299297332764},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.46953973174095154},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45866504311561584},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4470778703689575},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.44581133127212524},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4393242299556732},{"id":"https://openalex.org/keywords/numeral-system","display_name":"Numeral system","score":0.4243069291114807},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36785954236984253},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3204779028892517},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2305392622947693},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1325359046459198}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7360008955001831},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.7011822462081909},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5608641505241394},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.552760124206543},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5489299297332764},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.46953973174095154},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45866504311561584},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4470778703689575},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.44581133127212524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4393242299556732},{"id":"https://openalex.org/C204160518","wikidata":"https://www.wikidata.org/wiki/Q122653","display_name":"Numeral system","level":2,"score":0.4243069291114807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36785954236984253},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3204779028892517},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2305392622947693},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1325359046459198},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1838599.1838622","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1838599.1838622","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"},{"id":"pmh:oai:HAL:inria-00542143v1","is_oa":false,"landing_page_url":"https://inria.hal.science/inria-00542143","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W173806610","https://openalex.org/W220935706","https://openalex.org/W288065879","https://openalex.org/W605824955","https://openalex.org/W655045114","https://openalex.org/W1528855243","https://openalex.org/W1532097571","https://openalex.org/W1552628726","https://openalex.org/W1591257293","https://openalex.org/W1912514452","https://openalex.org/W1938260438","https://openalex.org/W1969213662","https://openalex.org/W1974287813","https://openalex.org/W1995574761","https://openalex.org/W1997965419","https://openalex.org/W1999470254","https://openalex.org/W2012407419","https://openalex.org/W2131286165","https://openalex.org/W2136952590","https://openalex.org/W2184078222","https://openalex.org/W2207050309","https://openalex.org/W2226528584","https://openalex.org/W2273879208","https://openalex.org/W2494779131","https://openalex.org/W2561675875","https://openalex.org/W2987803397","https://openalex.org/W3200788958","https://openalex.org/W4211076402"],"related_works":["https://openalex.org/W4220780102","https://openalex.org/W2410881844","https://openalex.org/W3196334750","https://openalex.org/W1502401885","https://openalex.org/W2004257129","https://openalex.org/W2116281088","https://openalex.org/W2357551824","https://openalex.org/W2019368960","https://openalex.org/W2016668641","https://openalex.org/W2539042112"],"abstract_inverted_index":{"Generating":[0],"certified":[1,97],"and":[2,57,108,118,201],"efficient":[3],"numerical":[4,98,199],"codes":[5],"requires":[6],"information":[7,121],"ranging":[8],"from":[9],"the":[10,14,20,27,37,93,120,129,131,134,139,171,174,186],"mathematical":[11,21],"level":[12],"to":[13,116,152,159,165,181],"representation":[15],"of":[16,30,64,96,133,173],"numbers.":[17],"Even":[18],"though":[19],"semantics":[22],"can":[23,149],"be":[24,45,90,150],"expressed":[25],"using":[26],"content":[28],"part":[29],"MathML,":[31],"this":[32,70,177],"language":[33,81,130],"does":[34],"not":[35,61],"encompass":[36],"implementation":[38],"on":[39,83,185],"computers.":[40],"Indeed":[41],"various":[42],"arithmetics":[43],"may":[44],"involved,":[46],"like":[47,188],"floating-point":[48],"or":[49,54,191],"fixed-point,":[50],"in":[51,69,128,138,176],"fixed":[52],"precision":[53],"arbitrary":[55],"precision,":[56],"current":[58],"tools":[59],"do":[60],"handle":[62],"all":[63],"these.":[65],"Therefore":[66],"we":[67,126,156],"propose":[68],"paper":[71],"LEMA":[72,88,109],"(Langage":[73],"pour":[74],"les":[75],"Expressions":[76],"Math'ematiques":[77],"Annot'ees),":[78],"a":[79,101,114,161],"descriptive":[80],"based":[82],"MathML":[84],"with":[85],"additional":[86],"expressiveness.":[87],"will":[89],"used":[91],"during":[92],"automatic":[94],"generation":[95,102],"codes.":[99],"Such":[100],"process":[103],"typically":[104],"involves":[105],"several":[106,183],"steps,":[107],"would":[110],"thus":[111],"act":[112],"as":[113,136],"glue":[115],"represent":[117],"store":[119],"at":[122],"every":[123],"stage.":[124],"First,":[125],"specify":[127],"characteristics":[132],"arithmetic":[135,163],"described":[137],"IEEE":[140],"754":[141],"floatingpoint":[142],"standard:":[143],"formats,":[144],"exceptions,":[145],"rounding":[146],"modes.":[147],"This":[148],"generalized":[151],"other":[153],"arithmetics.":[154],"Then,":[155],"use":[157],"annotations":[158],"attach":[160],"specific":[162],"context":[164,178],"an":[166,193],"expression":[167,175],"tree.":[168],"Finally,":[169],"considering":[170],"evaluation":[172],"allows":[179],"us":[180],"deduce":[182],"properties":[184,197],"result,":[187],"being":[189,192],"exact":[190],"exception.":[194],"Other":[195],"useful":[196],"include":[198],"ranges":[200],"error":[202],"bounds.":[203]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}