{"id":"W2081172416","doi":"10.1109/ccc.2012.27","title":"Space Complexity in Polynomial Calculus","year":2012,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pigeonhole principle; Proof complexity; Mathematics; Upper and lower bounds; Space (punctuation); Polynomial; PSPACE; Combinatorics; Discrete mathematics; Mathematical proof; Linear space; Calculus (dental); Computational complexity theory; Computer science; Algorithm; 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.003338552,0.001299653,0.00162938,0.001950642,0.003025786,0.00744482,0.003366336,0.001666229,0.01810548],"category_scores_gemma":[0.02268839,0.0008617439,0.003721804,0.002729223,0.005013763,0.01867586,0.007756461,0.008406965,0.002046769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006763367,"about_ca_system_score_gemma":0.003132986,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004006897,"about_ca_topic_score_gemma":0.003361554,"domain_scores_codex":[0.9886791,0.002210574,0.0005884307,0.002233527,0.004428259,0.001860108],"domain_scores_gemma":[0.9677157,0.02405245,0.001064351,0.004550925,0.001840995,0.0007755391],"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.000268299,0.00007746373,0.0008466912,0.0004405256,0.00006185218,0.0001223595,0.0006864886,0.01379156,0.003883658,0.9432333,0.007462616,0.02912525],"study_design_scores_gemma":[0.0000435941,0.00004734622,0.0004211097,0.00005074725,0.0000562105,0.0001245516,0.00008157198,0.0403476,0.002223288,0.9450775,0.01149713,0.00002924774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1656913,0.007764812,0.692507,0.01716175,0.0007009827,0.0003423931,0.002344485,0.003135961,0.1103512],"genre_scores_gemma":[0.7885097,0.003575717,0.1813873,0.002292261,0.001286731,0.0005484178,0.001661466,0.001385011,0.01935337],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01810548,"threshold_uncertainty_score":0.06056887,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06274404171587286,"score_gpt":0.2822374591676989,"score_spread":0.2194934174518261,"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."}}