{"id":"W2149259754","doi":"10.1145/1277548.1277585","title":"Fast arithmetic for triangular sets","year":2007,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Arithmetic; Computer science; Saturation arithmetic; Mathematics; Arbitrary-precision arithmetic","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.0005809122,0.0004053939,0.0004356426,0.0007649889,0.0009731681,0.001615789,0.0008559659,0.0004222621,0.01214242],"category_scores_gemma":[0.00294858,0.000215363,0.0006545128,0.001285691,0.001070305,0.003455641,0.001501089,0.00107305,0.002281516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0010097,"about_ca_system_score_gemma":0.0003811038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008863258,"about_ca_topic_score_gemma":0.001145542,"domain_scores_codex":[0.9993047,0.0001199585,0.00003695393,0.000110025,0.0002962208,0.0001322199],"domain_scores_gemma":[0.999155,0.0004188539,0.0000601727,0.0001845523,0.0001409795,0.00004037978],"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.0001581692,0.00004364859,0.0007292004,0.0001684827,0.00001450645,0.0001491166,0.0003947842,0.01971393,0.008026607,0.8607702,0.004576089,0.1052552],"study_design_scores_gemma":[0.00003392253,0.0001096749,0.0003060453,0.00004781362,0.00001581747,0.0003340077,0.0001585595,0.174999,0.01152358,0.7915272,0.0209204,0.00002399048],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1334356,0.0006283008,0.8125171,0.0003689214,0.0001828062,0.00008849495,0.0001783858,0.001124607,0.05147569],"genre_scores_gemma":[0.6472496,0.0006649895,0.3319181,0.0001915282,0.0001453395,0.0001579403,0.0005041642,0.000292671,0.01887559],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01214242,"threshold_uncertainty_score":0.04062045,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01581031748346397,"score_gpt":0.2651725037469019,"score_spread":0.249362186263438,"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."}}