{"id":"W3145429007","doi":"10.1109/ccc.2009.34","title":"Lipschitz Continuous Ordinary Differential Equations are Polynomial-Space Complete","year":2009,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Lipschitz continuity; Polynomial; Mathematics; Matrix polynomial; Ordinary differential equation; Differential equation; Space (punctuation); Lipschitz domain; Initial value problem; Function (biology); Differential (mechanical device); Applied mathematics; Monic polynomial; Mathematical analysis; Computer science","routes":{"ca_aff":true,"ca_fund":true,"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.001138312,0.0005693614,0.001436585,0.0006592209,0.001039095,0.003327048,0.0009128898,0.001034022,0.004739321],"category_scores_gemma":[0.005211748,0.0005498189,0.001561688,0.001077469,0.002834699,0.005099281,0.001884582,0.004359299,0.0004937723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002293017,"about_ca_system_score_gemma":0.001380934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002771267,"about_ca_topic_score_gemma":0.002439744,"domain_scores_codex":[0.9990705,0.0001348101,0.00005000382,0.0002062383,0.0003737565,0.0001647294],"domain_scores_gemma":[0.9967408,0.002234113,0.0002452467,0.0002676398,0.0003686086,0.0001437199],"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.00004487012,0.00001352819,0.0001986751,0.0000593585,0.00001091351,0.00004702465,0.0001640958,0.01408277,0.000871799,0.9789822,0.0007626716,0.004762047],"study_design_scores_gemma":[0.00004359963,0.00001808257,0.0002517975,0.00001036863,0.00001041277,0.00003573462,0.00004066515,0.05286527,0.001280221,0.9426247,0.002801682,0.00001742199],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3670167,0.001042492,0.5777946,0.00315951,0.0001090466,0.0001504436,0.00168473,0.0005494486,0.0484932],"genre_scores_gemma":[0.929581,0.0007966105,0.0481805,0.0003169926,0.000124015,0.0001824976,0.001067553,0.0001299043,0.01962091],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004739321,"threshold_uncertainty_score":0.01663709,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02284432845929103,"score_gpt":0.2431791041547311,"score_spread":0.2203347756954401,"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."}}