{"id":"W2065138042","doi":"10.1007/s00224-008-9153-7","title":"The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete","year":2008,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Quadratic equation; Mathematics; NP-complete; Combinatorics; Group (periodic table); Applied mathematics; Time complexity; Physics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003059553,0.0001640038,0.0004435579,0.00008732308,0.0006240328,0.00002357627,0.0005168171,0.00008280927,0.00002133352],"category_scores_gemma":[0.001924465,0.0001145309,0.0001685389,0.0002614857,0.0003593926,0.00004071659,0.0001164616,0.0001208276,0.00001070377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004153549,"about_ca_system_score_gemma":0.00006095827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004135193,"about_ca_topic_score_gemma":0.000005767032,"domain_scores_codex":[0.9979672,0.0004215201,0.0007688408,0.0002321851,0.0002648228,0.000345459],"domain_scores_gemma":[0.9865931,0.01194749,0.0004916881,0.0007389769,0.0001798886,0.00004887589],"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.00002086495,0.0000744559,0.0003968065,0.0003222687,0.00008607128,4.544127e-7,0.00371677,0.00009287638,0.00005558271,0.9907061,0.004231166,0.0002965819],"study_design_scores_gemma":[0.0006777415,0.0001353567,0.0008252613,0.00007062336,0.00004681688,0.00002978724,0.0008802942,0.01204561,0.00004504365,0.9841828,0.0008984028,0.0001622079],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5122903,0.0003296021,0.4835481,0.0002981714,0.0005073218,0.001075688,0.00002994627,0.0001090795,0.001811796],"genre_scores_gemma":[0.9948999,0.000002077674,0.003975936,0.0000505266,0.0001939926,0.00003121555,0.000002637255,0.0000229152,0.0008207667],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4826096,"threshold_uncertainty_score":0.4799619,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08172012897673582,"score_gpt":0.302626261127527,"score_spread":0.2209061321507912,"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."}}