{"id":"W2091864717","doi":"10.1007/s00209-010-0831-1","title":"Positivstellensätze for real function algebras","year":2011,"lang":"de","type":"article","venue":"Mathematische Zeitschrift","topic":"Advanced Optimization Algorithms Research","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Mathematics; Variety (cybernetics); Algebra over a field; Representation theorem; Algebraic number; Function (biology); Quadratic equation; Polynomial; Pure mathematics; Discrete mathematics; Mathematical analysis","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.005147275,0.001834297,0.001659256,0.002634299,0.001917367,0.006557881,0.002017568,0.001825934,0.01060205],"category_scores_gemma":[0.01138604,0.00142409,0.002064402,0.001827994,0.007957962,0.0100129,0.005636866,0.008653908,0.001364667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002925688,"about_ca_system_score_gemma":0.001452882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001140139,"about_ca_topic_score_gemma":0.000882698,"domain_scores_codex":[0.9969367,0.001277216,0.0001349628,0.0004488594,0.0008137709,0.0003884715],"domain_scores_gemma":[0.9919413,0.005831283,0.0006617738,0.000417208,0.0005373751,0.0006110575],"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.00004499731,0.00003490432,0.0001189931,0.00004089962,0.00001465969,0.00003057654,0.0001730002,0.002013327,0.0003865434,0.9948649,0.0005014858,0.001775719],"study_design_scores_gemma":[0.00003068147,0.00001455445,0.00005810405,0.000008471502,0.000005217405,0.00002607369,0.00003919941,0.007613941,0.0001908872,0.9915141,0.0004897758,0.000008958927],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.384191,0.002174813,0.5359268,0.007223407,0.0003355847,0.0001914235,0.0007650488,0.0006277151,0.06856429],"genre_scores_gemma":[0.93567,0.001496753,0.04326796,0.0007430107,0.0004738636,0.000281609,0.0009016056,0.0001757766,0.01698942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01060205,"threshold_uncertainty_score":0.03546739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08171555221565997,"score_gpt":0.3246639699718902,"score_spread":0.2429484177562303,"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."}}