{"id":"W319768494","doi":"10.1007/978-3-662-44199-2_71","title":"Doing Algebraic Geometry with the RegularChains Library","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Gröbner basis; Algebra over a field; Algebraic number; Computer science; Computation; Tangent; Intersection (aeronautics); Algebraic geometry; Dimension of an algebraic variety; Differential algebraic geometry; Mathematics; Pure mathematics; Algorithm; Geometry","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.0008719811,0.0009753974,0.001164015,0.001975473,0.001548866,0.00349383,0.001976547,0.0006236854,0.08611958],"category_scores_gemma":[0.00201944,0.001088361,0.001590668,0.002261188,0.001787511,0.006141173,0.00373144,0.003098127,0.04574398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008471475,"about_ca_system_score_gemma":0.0009973419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007550407,"about_ca_topic_score_gemma":0.002120127,"domain_scores_codex":[0.9989645,0.0002171717,0.00005847783,0.0001789802,0.0004972403,0.00008362842],"domain_scores_gemma":[0.9991536,0.0002709056,0.00003010507,0.0003604199,0.0001132852,0.00007166347],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006793366,0.00006850487,0.0002551518,0.0003369078,0.0000416616,0.00009616301,0.0003940899,0.002493992,0.002426807,0.604783,0.09990774,0.2891281],"study_design_scores_gemma":[0.00003366231,0.00002098461,0.0001405529,0.00011897,0.00002026198,0.0002837302,0.00009711554,0.00707029,0.004814645,0.6053239,0.3820364,0.00003946625],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004311048,0.001296435,0.7737408,0.0009628086,0.0005534735,0.00006534535,0.0009705942,0.01620946,0.20189],"genre_scores_gemma":[0.1092583,0.004313059,0.6715047,0.0006773152,0.0008583757,0.000212782,0.004880713,0.01705434,0.1912405],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08611958,"threshold_uncertainty_score":0.2880987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007286269031130672,"score_gpt":0.2005207942074088,"score_spread":0.1932345251762781,"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."}}