{"id":"W1802373871","doi":"","title":"Computing Properties of Numerical Imperative Programs by Symbolic Computation","year":2008,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Symbolic computation; Maple; Symbolic-numeric computation; Computation; Computer science; Symbolic trajectory evaluation; The Symbolic; Theoretical computer science; Class (philosophy); Symbolic data analysis; Programming language; Algebra over a field; Mathematics; Artificial intelligence; Model checking; Pure mathematics","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.001277619,0.0006069584,0.0006411475,0.001289279,0.0008172737,0.002672849,0.001066331,0.000595813,0.002899209],"category_scores_gemma":[0.009421468,0.0003572113,0.0009085715,0.001163778,0.002679748,0.004828429,0.001665197,0.001422973,0.0005153411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007131844,"about_ca_system_score_gemma":0.0006530866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006413705,"about_ca_topic_score_gemma":0.0006193001,"domain_scores_codex":[0.9987224,0.0003397675,0.00008968706,0.0001735229,0.0005387594,0.0001359672],"domain_scores_gemma":[0.9953784,0.003236973,0.0002899907,0.0007315152,0.0002928382,0.00007030757],"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.0000972809,0.00006122956,0.001099565,0.0001828111,0.00003237652,0.000197883,0.0004707834,0.07948886,0.008853849,0.8718126,0.0007456111,0.03695711],"study_design_scores_gemma":[0.00001605743,0.00003987862,0.0001827079,0.00002477778,0.00002411275,0.00008173515,0.00006878505,0.3389486,0.012321,0.6457403,0.002533008,0.00001897446],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04384945,0.0001104272,0.9508807,0.0001901602,0.00002620231,0.00002432941,0.00009948553,0.0008896518,0.003929526],"genre_scores_gemma":[0.6868011,0.0003801782,0.3108914,0.00008333141,0.00006849884,0.0001556368,0.0002414059,0.0003266912,0.001051732],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002899209,"threshold_uncertainty_score":0.009698808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0352984035358526,"score_gpt":0.2482446490559068,"score_spread":0.2129462455200542,"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."}}