{"id":"W2005868985","doi":"10.1016/j.tcs.2010.10.007","title":"On the superimposition of Christoffel words","year":2010,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Christoffel symbols; Superimposition; Mathematics; Conjecture; Root (linguistics); Existential quantification; Pure mathematics; Combinatorics; Arithmetic; Algebra over a field; Linguistics; Computer science; Artificial intelligence; Philosophy","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.001974217,0.0007330145,0.001037902,0.002582319,0.003699786,0.004611605,0.001791033,0.002151823,0.01427941],"category_scores_gemma":[0.01269278,0.0008901508,0.001078356,0.002112256,0.005920342,0.008827828,0.004733596,0.003030914,0.00237465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001238151,"about_ca_system_score_gemma":0.0007733887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001029109,"about_ca_topic_score_gemma":0.0008459456,"domain_scores_codex":[0.9971893,0.0008735349,0.0001750686,0.0005967308,0.0006992882,0.0004659679],"domain_scores_gemma":[0.9936885,0.003616653,0.0004609278,0.0008816803,0.0008874639,0.0004647782],"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.00005739099,0.000009240652,0.0001028314,0.00001547447,0.000004986098,0.0001679546,0.000497256,0.0003696427,0.0007686793,0.9899456,0.0005671874,0.00749386],"study_design_scores_gemma":[0.00001209308,0.00002409327,0.00009426205,0.000017408,0.000007980131,0.0001629914,0.0002102241,0.003222737,0.001038803,0.9886657,0.006525174,0.00001858661],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2762976,0.002078063,0.4796185,0.002295277,0.002245081,0.00009530932,0.000219978,0.001023681,0.2361265],"genre_scores_gemma":[0.8857213,0.0008397239,0.06403614,0.0006333693,0.000820364,0.00009221889,0.0002738327,0.0006019636,0.04698111],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01427941,"threshold_uncertainty_score":0.04776931,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005362706332115055,"score_gpt":0.2226393507159611,"score_spread":0.2172766443838461,"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."}}