{"id":"W1497193031","doi":"10.1007/11538363_34","title":"Feasible Proofs of Matrix Properties with Csanky’s Algorithm","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Mathematical proof; Algorithm; Matrix (chemical analysis); 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00090654,0.0006108857,0.000716257,0.0007950917,0.0002114289,0.0003559221,0.003614326,0.0002700425,0.00004097045],"category_scores_gemma":[0.00003086047,0.0004440091,0.0001336535,0.0007504578,0.001090873,0.0008477601,0.001061627,0.0007063187,0.00003602956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001725762,"about_ca_system_score_gemma":0.0008266157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001511792,"about_ca_topic_score_gemma":0.00002176244,"domain_scores_codex":[0.9960306,0.0000460014,0.000605149,0.001391945,0.001226817,0.0006995237],"domain_scores_gemma":[0.9973561,0.0001705731,0.0004259562,0.001511296,0.0003614385,0.0001746896],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001572633,0.00006038466,0.00001254272,0.000108273,0.00002049086,0.00006913149,0.0006294579,0.01394371,0.0001356997,0.02975912,0.00001042072,0.9552351],"study_design_scores_gemma":[0.0009045639,0.00101126,0.00003677211,0.001721541,0.00003103324,0.0004507541,7.058425e-7,0.8355009,0.02372158,0.1299005,0.005069144,0.001651243],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006100826,0.001263618,0.9930767,0.0005111689,0.0006198045,0.0006123444,0.000007958964,0.0001763524,0.00367101],"genre_scores_gemma":[0.0253422,0.00005434876,0.9705239,0.0003492786,0.0006162713,0.00001798846,0.000002756322,0.00004930506,0.003043972],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9535838,"threshold_uncertainty_score":0.9998012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01485370649456284,"score_gpt":0.2327009246721405,"score_spread":0.2178472181775777,"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."}}