{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002696649,0.001236543,0.001468153,0.001821752,0.001730053,0.006220977,0.004154067,0.002010125,0.03602001],"category_scores_gemma":[0.01902125,0.001087867,0.001083366,0.00376095,0.002500822,0.01160342,0.003455158,0.003960404,0.009432795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002506888,"about_ca_system_score_gemma":0.002715253,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00220519,"about_ca_topic_score_gemma":0.003486957,"domain_scores_codex":[0.9958981,0.001031255,0.000218749,0.0006870702,0.001788711,0.0003760502],"domain_scores_gemma":[0.9872057,0.005844118,0.0003351932,0.004471042,0.001810643,0.0003331921],"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.0005941585,0.0001343225,0.0009220841,0.0005971545,0.00005352809,0.00009672334,0.0003698775,0.01721261,0.004135496,0.4773577,0.02373042,0.474796],"study_design_scores_gemma":[0.000141301,0.0001562526,0.0002038915,0.0003078442,0.00004665439,0.0002957981,0.0002319056,0.1444948,0.008596056,0.7996121,0.04584536,0.00006818239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0119146,0.003469758,0.9449517,0.001349729,0.0003539902,0.0001327946,0.0002412296,0.005190034,0.03239626],"genre_scores_gemma":[0.2732733,0.003119888,0.7097268,0.0007137705,0.0005953649,0.0002926047,0.0006585377,0.001410107,0.01020961],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03602001,"threshold_uncertainty_score":0.120499,"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."}}