{"id":"W2079533520","doi":"10.1016/j.jsc.2003.07.004","title":"Certified dense linear system solving","year":2003,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Diophantine equation; Ring (chemistry); Ideal (ethics); Certificate; Domain (mathematical analysis); System of linear equations; Ring of integers; Linear system; Discrete mathematics; Integral domain; Field (mathematics); Algebra over a field; Algebraic number field; Algorithm; Pure mathematics; 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.00195087,0.000902635,0.001210855,0.0009189112,0.00165003,0.003154098,0.002267591,0.001260105,0.03671534],"category_scores_gemma":[0.01200068,0.0009389346,0.0009533442,0.001274091,0.002001133,0.004938438,0.004670608,0.003271821,0.0057486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001902864,"about_ca_system_score_gemma":0.005773882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00359149,"about_ca_topic_score_gemma":0.01053304,"domain_scores_codex":[0.9952753,0.0009459329,0.0002346664,0.0009586521,0.001781381,0.00080413],"domain_scores_gemma":[0.9888537,0.003927821,0.0003556946,0.004352641,0.002198102,0.0003121071],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001681417,0.0007952223,0.003296539,0.0006890981,0.0001406568,0.0003059631,0.0005868401,0.04350911,0.0169393,0.4064263,0.08921956,0.4364099],"study_design_scores_gemma":[0.0006823171,0.0003127119,0.001111839,0.0001206991,0.0001455348,0.0003850187,0.0004377915,0.2635745,0.05543362,0.6401888,0.03752997,0.0000773108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1255517,0.0005648565,0.7335333,0.004546602,0.0007016909,0.0005762432,0.00233853,0.02338969,0.1087974],"genre_scores_gemma":[0.7568533,0.0001888076,0.2036121,0.0009128447,0.0002628182,0.0001871544,0.003698298,0.001436665,0.03284806],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03671534,"threshold_uncertainty_score":0.1228251,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01910865744391746,"score_gpt":0.247866008538078,"score_spread":0.2287573510941605,"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."}}