{"id":"W2129905147","doi":"10.1007/978-3-540-30142-4_1","title":"Error Analysis of Digital Filters Using Theorem Proving","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Fixed-point arithmetic; Automated theorem proving; Computer science; Digital filter; Algorithm; Fixed point; Mathematical proof; Parametric statistics; Floating point; Arithmetic; Filter (signal processing); Mathematics; Discrete mathematics; Programming language","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.005009816,0.001581799,0.001561955,0.002276225,0.0007221134,0.002784107,0.002250232,0.001563337,0.00443334],"category_scores_gemma":[0.02608619,0.0007126617,0.001430454,0.001648115,0.002661867,0.004758545,0.002722712,0.003107458,0.0007161236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001684242,"about_ca_system_score_gemma":0.0009492561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001397942,"about_ca_topic_score_gemma":0.001037344,"domain_scores_codex":[0.9958443,0.001278636,0.0002357357,0.0004499956,0.001936216,0.0002550625],"domain_scores_gemma":[0.9748062,0.01989318,0.0008755234,0.001774958,0.002462943,0.0001872001],"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.0002876081,0.00008571444,0.0008867664,0.0005436614,0.0001479014,0.0001581977,0.0002525573,0.2172857,0.006772544,0.6402401,0.00367035,0.1296688],"study_design_scores_gemma":[0.0000212952,0.00004435279,0.0001940264,0.00005712956,0.0000404849,0.00009141292,0.00002530894,0.6709775,0.004865377,0.3213808,0.002280043,0.00002219621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003501291,0.0004411834,0.9933494,0.0001422429,0.00006666843,0.00001309805,0.00002359411,0.0001256723,0.002336834],"genre_scores_gemma":[0.4715576,0.003407535,0.5057395,0.0004133123,0.000657715,0.0002085531,0.0002932263,0.0005702503,0.01715223],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005009816,"threshold_uncertainty_score":0.02649474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03025983571224753,"score_gpt":0.2904533574954601,"score_spread":0.2601935217832126,"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."}}