{"id":"W1995653528","doi":"10.1016/s0747-7171(03)00097-x","title":"High-order lifting and integrality certification","year":2003,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":81,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Invertible matrix; Univariate; Dimension (graph theory); Matrix (chemical analysis); Polynomial matrix; Field (mathematics); Matrix multiplication; Ring (chemistry); Correctness; Polynomial; Order (exchange); Multiplication (music); Algebra over a field; Discrete mathematics; Combinatorics; Pure mathematics; Matrix polynomial; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006251978,0.000096081,0.0001772445,0.0001737873,0.00009860042,0.0001542017,0.0001704942,0.00003910429,0.000003559432],"category_scores_gemma":[0.0001890774,0.00008324393,0.00004472601,0.000383377,0.00002636596,0.000596247,0.0000338568,0.0001434943,0.000005164721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004509306,"about_ca_system_score_gemma":0.00009822209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002316635,"about_ca_topic_score_gemma":0.000002063601,"domain_scores_codex":[0.998886,0.0001414923,0.0004720929,0.0001476484,0.0002266351,0.0001260909],"domain_scores_gemma":[0.9989071,0.0001439687,0.0004355443,0.00009576709,0.0003290981,0.00008848],"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.00001345443,0.0001504085,0.001751862,0.00003374286,0.00005431337,0.00001099126,0.003180247,0.009268234,0.0043272,0.2243722,0.0004391264,0.7563982],"study_design_scores_gemma":[0.002862057,0.0005795146,0.1852885,0.0002153432,0.00006767639,0.000934391,0.0004508251,0.3502712,0.01063881,0.4444776,0.00350222,0.0007117952],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.416647,0.0001140352,0.5818633,0.0007945247,0.0003930932,0.00004183929,1.675505e-7,0.00001996869,0.0001260497],"genre_scores_gemma":[0.9252802,0.00001409554,0.07446305,0.0001242821,0.00009671412,7.909288e-7,9.327444e-7,0.000004522867,0.00001537351],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7556864,"threshold_uncertainty_score":0.3394589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01770843685776512,"score_gpt":0.2537189566302896,"score_spread":0.2360105197725245,"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."}}