{"id":"W2269514674","doi":"10.1145/2815111.2815129","title":"Doing algebraic geometry with the RegularChains library","year":2015,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Algebraic geometry; Algebra over a field; Computer science; Mathematics; Algebraic number; Geometry; Pure mathematics; 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.001644101,0.001068435,0.001518779,0.001989378,0.001767604,0.003289895,0.002715053,0.0006263711,0.1972706],"category_scores_gemma":[0.003950802,0.00109425,0.001857636,0.002870354,0.001592648,0.006521251,0.006170559,0.002363494,0.07737746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009090045,"about_ca_system_score_gemma":0.001526071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001491544,"about_ca_topic_score_gemma":0.004167663,"domain_scores_codex":[0.998158,0.0004428456,0.0001008644,0.0003049397,0.0007808952,0.0002122994],"domain_scores_gemma":[0.9978896,0.0005737032,0.00006820197,0.001042084,0.0002292869,0.0001972073],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00050833,0.0002363774,0.001046326,0.0006537578,0.0001538397,0.0002531641,0.0006313907,0.00590101,0.006351621,0.3489262,0.2208969,0.4144411],"study_design_scores_gemma":[0.000214858,0.0001003358,0.0003893846,0.0001872241,0.00006660939,0.0003648497,0.0001916023,0.03248623,0.01455214,0.4499215,0.5014328,0.00009256791],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.005077056,0.0004174701,0.8110626,0.0008345975,0.0004393507,0.0001200762,0.002630266,0.0737269,0.1056916],"genre_scores_gemma":[0.1818779,0.001685199,0.6562978,0.0005170735,0.0005829172,0.0003217049,0.01248182,0.03234228,0.1138933],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1972706,"threshold_uncertainty_score":0.6599358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03209267997214615,"score_gpt":0.2642245279890959,"score_spread":0.2321318480169497,"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."}}