{"id":"W4402858306","doi":"10.1016/j.jsc.2024.102389","title":"An <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.svg\"> <mml:mi mathvariant=\"fraktur\">m</mml:mi> </mml:math> -adic algorithm for bivariate Gröbner bases","year":2024,"lang":"nl","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"European Research Council; Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Mathematics; Algorithm; Bivariate analysis; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.001391732,0.001140325,0.001071903,0.002926246,0.001105347,0.004397924,0.00230395,0.001414237,0.2322021],"category_scores_gemma":[0.005618821,0.0009483832,0.001315589,0.003335504,0.0006224108,0.004194923,0.002760211,0.00225997,0.1363163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001482246,"about_ca_system_score_gemma":0.001555385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002490818,"about_ca_topic_score_gemma":0.003877864,"domain_scores_codex":[0.9989522,0.0001923337,0.0001133294,0.0002190961,0.0004195441,0.0001035357],"domain_scores_gemma":[0.9983139,0.0005323969,0.00008653265,0.000483531,0.0004678986,0.0001156742],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002206728,0.0001649012,0.0003660232,0.0005600354,0.00003453974,0.0001197589,0.0002056031,0.002770154,0.006479164,0.2124626,0.5385771,0.2380396],"study_design_scores_gemma":[0.0001468122,0.00004169544,0.0003650458,0.0001642004,0.00001961106,0.0002594922,0.00007011266,0.02514117,0.01366943,0.1169499,0.8431047,0.00006783177],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002595301,0.000434036,0.7588702,0.00200547,0.0009116281,0.0003280908,0.02880627,0.06442345,0.1416255],"genre_scores_gemma":[0.03966146,0.001063431,0.7102811,0.000970284,0.0005303523,0.0005843617,0.06745507,0.03082765,0.1486263],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.2322021,"threshold_uncertainty_score":0.7767934,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01845828149499284,"score_gpt":0.262501581088305,"score_spread":0.2440432995933121,"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."}}