{"id":"W2075202684","doi":"10.1016/j.jal.2006.11.001","title":"Error analysis of digital filters using HOL theorem proving","year":2007,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Automated theorem proving; Fixed-point arithmetic; Mathematics; Digital filter; Algorithm; Mathematical proof; Parametric statistics; Fixed point; Filter (signal processing); Floating point; Discrete mathematics; Arithmetic; Computer science; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005363428,0.000886102,0.001215717,0.002113612,0.0008880342,0.002707166,0.001942801,0.001139713,0.003884794],"category_scores_gemma":[0.0235889,0.0005243929,0.0009994288,0.001017217,0.002592541,0.004090214,0.002673043,0.002193558,0.0004025898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001565586,"about_ca_system_score_gemma":0.001167711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001629179,"about_ca_topic_score_gemma":0.001428133,"domain_scores_codex":[0.9959254,0.001055385,0.0002392794,0.0004557163,0.001981065,0.0003431945],"domain_scores_gemma":[0.9726882,0.01979459,0.001236324,0.002945637,0.003078571,0.0002566788],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008496643,0.0001370221,0.002784457,0.0003873225,0.0001823684,0.00027079,0.0004052727,0.228706,0.008285962,0.6232753,0.002442977,0.1322728],"study_design_scores_gemma":[0.00003301494,0.00004504288,0.0002472867,0.0000280366,0.00003311216,0.00006040086,0.00003160958,0.7716597,0.007764879,0.2191012,0.0009761112,0.00001963724],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01224597,0.0001344986,0.9854138,0.0001512949,0.00005171257,0.00001280081,0.00002199243,0.0002239793,0.001743951],"genre_scores_gemma":[0.8011886,0.0003849106,0.1922134,0.0002108979,0.0001662347,0.00005727518,0.0001252307,0.0003050653,0.005348335],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005363428,"threshold_uncertainty_score":0.0283649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04357466503073198,"score_gpt":0.3204460977775031,"score_spread":0.2768714327467711,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}