{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00149164,0.001239057,0.00258692,0.0009648674,0.003482674,0.006293274,0.003013059,0.003201277,0.0134032],"category_scores_gemma":[0.01087873,0.001243216,0.003020316,0.002297012,0.004340957,0.01432328,0.00337842,0.00925469,0.001313397],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003055158,"about_ca_system_score_gemma":0.00331136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006520438,"about_ca_topic_score_gemma":0.007382953,"domain_scores_codex":[0.9974456,0.0004434336,0.0001642066,0.0008085497,0.000625276,0.0005128705],"domain_scores_gemma":[0.9740472,0.02285464,0.0009229654,0.0009104683,0.0007382097,0.0005263987],"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.001567079,0.001056365,0.006870938,0.00325245,0.0006775832,0.001441751,0.00316672,0.09599845,0.006337708,0.7155402,0.06620884,0.0978819],"study_design_scores_gemma":[0.0003417358,0.00004561547,0.0005397218,0.00004820661,0.0000922117,0.0002597923,0.0003858776,0.04933795,0.001750899,0.9423467,0.004807775,0.00004347394],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5612833,0.003286734,0.3081833,0.05747391,0.0009813068,0.0006847311,0.01034065,0.002258608,0.05550739],"genre_scores_gemma":[0.9049553,0.001719074,0.06261037,0.002304347,0.00141374,0.0003661847,0.006373834,0.0004469421,0.01981012],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0134032,"threshold_uncertainty_score":0.04483819,"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."}}