{"id":"W2023679149","doi":"10.1007/s00012-004-1895-8","title":"Results on the equivalence problem for finite groups","year":2005,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"semigroups and automata theory","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Equivalence (formal languages); Nilpotent; Dihedral group; Nilpotent group; Algebra over a field; Polynomial; Pure mathematics; Group (periodic table); Discrete 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.005391462,0.001719246,0.003472073,0.004010918,0.005805691,0.006998624,0.00432885,0.004824034,0.02250994],"category_scores_gemma":[0.02091134,0.001458258,0.004091923,0.005255044,0.009590099,0.04675111,0.00817397,0.01243144,0.002251473],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003552884,"about_ca_system_score_gemma":0.001831014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001998404,"about_ca_topic_score_gemma":0.001262729,"domain_scores_codex":[0.995596,0.001079912,0.0003031146,0.001188344,0.001092404,0.0007402349],"domain_scores_gemma":[0.9724422,0.02254582,0.0007034867,0.001992821,0.001208586,0.001107044],"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.0001086734,0.0001220114,0.0003727685,0.0001848889,0.00003112399,0.0001083715,0.000522425,0.001470738,0.0003087078,0.9838632,0.003445092,0.00946199],"study_design_scores_gemma":[0.00001384025,0.000008210067,0.00006009727,0.00001288529,0.00000945823,0.00002285697,0.00006133538,0.001269803,0.000119527,0.9967611,0.001655006,0.000005951951],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1758482,0.01488343,0.5129355,0.02830888,0.002487947,0.0001993956,0.0009857125,0.0009065425,0.2634444],"genre_scores_gemma":[0.8559759,0.01055274,0.06259893,0.004690311,0.007013949,0.0003228546,0.003128841,0.0008193797,0.05489703],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02250994,"threshold_uncertainty_score":0.0753032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0191790973696528,"score_gpt":0.2252600697717032,"score_spread":0.2060809724020504,"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."}}