{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003227598,0.00005445796,0.00006612065,0.00006264175,0.00005679531,0.00005882349,0.0002543005,0.00002337651,0.000008310267],"category_scores_gemma":[0.00002422026,0.00004561188,0.00004745633,0.0001584869,0.000009491169,0.0001451652,0.00005265329,0.0000257486,0.00003527598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001451333,"about_ca_system_score_gemma":0.00002196488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001029228,"about_ca_topic_score_gemma":0.00001054234,"domain_scores_codex":[0.9994366,0.000006621881,0.000123901,0.0001617287,0.00008769576,0.0001834339],"domain_scores_gemma":[0.9996153,0.0001204605,0.00002679227,0.0001443059,0.00003145811,0.00006171991],"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.000006454035,0.00002794057,0.00002187305,0.000004365491,0.000005606664,0.000003779313,0.0001582279,0.00003210498,0.0006080236,0.1551464,0.001555079,0.8424302],"study_design_scores_gemma":[0.003667425,0.0005004359,0.01502752,0.0000209269,0.00001573036,0.00005732058,0.00008754231,0.6083775,0.05893519,0.2502831,0.06228482,0.0007424975],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01382786,0.00002559143,0.9811836,0.000814954,0.0003436545,0.0001357581,5.678744e-7,0.000128607,0.003539437],"genre_scores_gemma":[0.7388771,4.340732e-7,0.258814,0.000736832,0.0001218211,0.000005633157,0.00000221625,0.000004095844,0.001437847],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8416877,"threshold_uncertainty_score":0.1859999,"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."}}