{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001454029,0.0008451039,0.001068975,0.0004393819,0.000601489,0.0001826494,0.0007548669,0.0006830765,0.004859799],"category_scores_gemma":[0.001291155,0.0008278241,0.0004982039,0.0006603365,0.0002890895,0.0006802455,0.0003714398,0.0006916205,0.003639857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004095499,"about_ca_system_score_gemma":0.0002587244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000400387,"about_ca_topic_score_gemma":0.00001175096,"domain_scores_codex":[0.9948114,0.0002923801,0.00144816,0.001101197,0.0009830483,0.001363846],"domain_scores_gemma":[0.9950975,0.001306785,0.0007343274,0.001445956,0.0009213773,0.0004940218],"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.0007400225,0.001597869,0.00006940186,0.002373171,0.001232384,0.00004068506,0.008679816,0.00004996051,0.0007864989,0.9492075,0.02258635,0.01263628],"study_design_scores_gemma":[0.01839024,0.006534556,0.001002878,0.003492158,0.006360491,0.0002254458,0.007552175,0.1276965,0.05540834,0.4060752,0.3593364,0.007925493],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008102009,0.002134239,0.8640862,0.0002113462,0.001546579,0.003738091,0.0003034836,0.0005779418,0.126592],"genre_scores_gemma":[0.02147245,0.001761291,0.9490815,0.0002391781,0.001560924,0.0009249796,0.0002627211,0.0006877414,0.02400922],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5431323,"threshold_uncertainty_score":0.9994172,"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."}}