{"id":"W2052338752","doi":"10.1016/j.jsc.2008.04.019","title":"Fast arithmetic for triangular sets: From theory to practice","year":2008,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Quicksort; Modular arithmetic; Arithmetic; Euclidean algorithm; Division (mathematics); Multiplication (music); Axiom; Univariate; Dimension (graph theory); Euclidean geometry; Algebra over a field; Discrete mathematics; sort; Cryptography; Algorithm; Sorting algorithm; Pure mathematics; Combinatorics","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.0007551954,0.0001303381,0.000277595,0.0002730543,0.0001574804,0.0001050195,0.0004351945,0.00004823755,0.00000413111],"category_scores_gemma":[0.0005713591,0.0001171162,0.0001460199,0.00039093,0.00002373059,0.0008153442,0.0000730497,0.0001342398,0.00002309975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008216538,"about_ca_system_score_gemma":0.000205786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001750534,"about_ca_topic_score_gemma":9.964156e-7,"domain_scores_codex":[0.9984829,0.0001818279,0.0005665894,0.0002036069,0.0003793077,0.0001857635],"domain_scores_gemma":[0.9974474,0.001216552,0.0005145445,0.0001480942,0.0005086508,0.0001648008],"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.000299531,0.0002545154,0.00003790766,0.00001157005,0.0001411308,0.00008007885,0.009819806,0.02690546,0.001200569,0.009712437,0.004861261,0.9466757],"study_design_scores_gemma":[0.008816617,0.002801041,0.02455063,0.0002917623,0.0002506604,0.002482363,0.001082759,0.486334,0.003844456,0.4224063,0.04607443,0.001064995],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09482001,0.0002098571,0.9004629,0.003080412,0.001067258,0.0002153592,0.000004449503,0.00003675287,0.0001030434],"genre_scores_gemma":[0.5604175,0.00001254222,0.4377432,0.001233398,0.0005196041,0.000005786126,0.000004662328,0.00001110523,0.00005214741],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9456108,"threshold_uncertainty_score":0.4775859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01841519542273096,"score_gpt":0.2825801867988816,"score_spread":0.2641649913761507,"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."}}