{"id":"W4214875645","doi":"10.5539/jmr.v14n2p1","title":"A Proof of the Sylvester Criterion for Quadratic Forms via Optimality Conditions for Quadratic Functions","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematics Research","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Quadratic equation; Quadratic function; Definite quadratic form; Quadratic form (statistics); Isotropic quadratic form; Binary quadratic form; Sylvester's law of inertia; Legendre symbol; Applied mathematics; Sylvester matrix; Quadratic programming; Pure mathematics; Combinatorics; Mathematical analysis; Mathematical optimization; Symmetric matrix; Geometry; Polynomial; Eigenvalues and eigenvectors","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006387926,0.00009498533,0.0002780744,0.0002466969,0.0008118968,0.0001256175,0.001200862,0.00003350169,0.00006794037],"category_scores_gemma":[0.0006271068,0.00006117214,0.0002976637,0.0004927312,0.0001258563,0.0003805641,0.0003464408,0.0003895901,0.000001495202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001062453,"about_ca_system_score_gemma":0.0003185657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001473462,"about_ca_topic_score_gemma":0.000002104408,"domain_scores_codex":[0.9976154,0.000329373,0.000727802,0.0001346644,0.0009025655,0.0002901904],"domain_scores_gemma":[0.996508,0.001676137,0.0004752152,0.0004964523,0.0007637882,0.00008037518],"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.0002936656,0.005418919,0.00008620348,0.005265405,0.0004809392,0.00001437695,0.01690979,0.007878142,0.02230193,0.9180817,0.01748183,0.005787119],"study_design_scores_gemma":[0.0009205414,0.001551921,0.00005891786,0.0001400442,0.00004387226,0.0002619525,0.002128687,0.299066,0.004987716,0.6890087,0.001707118,0.0001245793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04880905,0.00005675007,0.946934,0.002497965,0.000313152,0.001155308,0.00005668338,0.000007728955,0.0001693122],"genre_scores_gemma":[0.8914047,0.000002807384,0.1062169,0.00007351622,0.0001296844,0.0004686097,0.000003586165,0.00002160059,0.0016786],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8425956,"threshold_uncertainty_score":0.6244536,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09397238570039,"score_gpt":0.3952602229624952,"score_spread":0.3012878372621052,"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."}}