{"id":"W2171572930","doi":"10.1145/2071368.2071377","title":"The Complexity of Proving the Discrete Jordan Curve Theorem","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; McGill University","funders":"","keywords":"Mathematics; Jordan curve theorem; Disjoint sets; Simple (philosophy); Context (archaeology); Discrete mathematics; Bounded function; Mathematical proof; Polynomial; Grid; Sequence (biology); Combinatorics; Mathematical analysis; 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.009366804,0.001386919,0.002943491,0.002012116,0.004061834,0.008771257,0.006800246,0.002775051,0.03059768],"category_scores_gemma":[0.0703525,0.002164258,0.005157184,0.003119431,0.006449935,0.02925822,0.008470449,0.009328891,0.004770371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006292156,"about_ca_system_score_gemma":0.006411459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004276708,"about_ca_topic_score_gemma":0.004709749,"domain_scores_codex":[0.9755047,0.008309005,0.001397306,0.003224321,0.009287075,0.002277582],"domain_scores_gemma":[0.8265533,0.143276,0.003116172,0.01901866,0.006339075,0.001696709],"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.002109664,0.0006336494,0.005785425,0.003645571,0.0007883473,0.001419483,0.002115147,0.07376558,0.01314652,0.6236303,0.04466733,0.228293],"study_design_scores_gemma":[0.0002535169,0.00008428739,0.001087916,0.0001554444,0.000204236,0.000328125,0.0005462703,0.1091794,0.006528592,0.8708664,0.01067896,0.00008690625],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2073447,0.003623781,0.6349652,0.04108685,0.0009603303,0.001049214,0.00464729,0.008185746,0.09813687],"genre_scores_gemma":[0.6780974,0.002892818,0.2893148,0.002897664,0.001239598,0.0007997886,0.006047742,0.002375357,0.01633472],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03059768,"threshold_uncertainty_score":0.1023595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05867429881197218,"score_gpt":0.2920372054230701,"score_spread":0.2333629066110979,"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."}}