{"doi":"10.1007/s10703-005-2256-8","title":"Formalization of Fixed-Point Arithmetic in HOL","abstract":null,"journal":"Formal Methods in System Design","year":2005,"id":39479,"datarank":1.6898121305444906,"base_score":2.9444389791664403,"endowment":2.9444389791664403,"self_citation_contribution":0.44166584687496613,"citation_network_contribution":1.2481462836695245,"self_endowment_contribution":0.44166584687496613,"citer_contribution":1.2481462836695245,"corpus_percentile":null,"corpus_rank":null,"citation_count":18,"citer_count":12,"citers_with_citation_signal":11,"citers_with_endowment":11,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":193800,"name":"Sofiène Tahar","orcid":null,"position":1,"is_corresponding":false},{"id":193801,"name":"Abdelkader Dekdouk","orcid":null,"position":2,"is_corresponding":false},{"id":193799,"name":"Behzad Akbarpour","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":2.9444389791664403,"endowment":2.9444389791664403,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"18998881","pmcid":null,"openalex_id":"https://openalex.org/W1967747780","authors":[],"funders":[],"total_grants":0,"fwci":1.3493,"citation_percentile":0.80541138,"influential_citations":0,"citation_trend":[{"year":2012,"count":2},{"year":2013,"count":4},{"year":2014,"count":1},{"year":2018,"count":3},{"year":2020,"count":1},{"year":2022,"count":1}],"oa_status":"closed","license":"http://www.springer.com/tdm","oa_locations":[{"url":"https://spectrum.library.concordia.ca/977379/1/FMSD-2005.pdf","host_type":"GREEN"},{"url":"http://link.springer.com/content/pdf/10.1007/s10703-005-2256-8.pdf","host_type":"publisher"},{"url":"http://link.springer.com/article/10.1007/s10703-005-2256-8/fulltext.html","host_type":"publisher"},{"url":"http://link.springer.com/content/pdf/10.1007/s10703-005-2256-8","host_type":"publisher"},{"url":"https://doi.org/10.1007/s10703-005-2256-8","host_type":"journal"},{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.507.104","host_type":""}],"fields_of_study":["Numerical Methods and Algorithms","Digital Filter Design and Implementation","Embedded Systems Design Techniques","Computer Science","Mathematics"],"mesh_terms":[],"keywords":["Saturation arithmetic","Arithmetic","Correctness","Fixed-point arithmetic","Fixed point","HOL","Quantization (signal processing)","Subtraction","Multiplication (music)","Computer science","Division (mathematics)","Mathematics","Arbitrary-precision arithmetic","Algorithm","Floating point","Programming language"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-11T20:24:06.474062Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}