{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001734642,0.0004894471,0.0009069143,0.001446225,0.002328065,0.003414404,0.001152868,0.001163959,0.009672829],"category_scores_gemma":[0.009932507,0.0006376025,0.001132976,0.001311412,0.004584922,0.007463978,0.004746639,0.004575293,0.001340441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001330301,"about_ca_system_score_gemma":0.001638931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001622141,"about_ca_topic_score_gemma":0.002009099,"domain_scores_codex":[0.9982764,0.000214109,0.00008974993,0.0003273943,0.000584485,0.0005079639],"domain_scores_gemma":[0.9941453,0.002283452,0.0002541763,0.001965866,0.0009917422,0.0003594853],"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.0001300273,0.00006413092,0.0008254084,0.0000523631,0.000008975972,0.0001776056,0.000346254,0.003109735,0.002519344,0.9553367,0.001995248,0.03543426],"study_design_scores_gemma":[0.00002087044,0.00002224774,0.0002645732,0.0000213931,0.00001737062,0.0001391442,0.00008804868,0.01347394,0.004120712,0.9769534,0.004858519,0.00001976807],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1817153,0.0005168807,0.7399249,0.001964356,0.0005295733,0.000127941,0.0002046471,0.001901571,0.07311486],"genre_scores_gemma":[0.9123042,0.0003013891,0.07461641,0.0002551602,0.0002258465,0.00003961876,0.0002229749,0.0002822729,0.01175213],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009672829,"threshold_uncertainty_score":0.03235883,"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."}}