{"id":"W2032028343","doi":"10.1016/j.jlap.2014.02.005","title":"Relational style laws and constructs of linear algebra","year":2014,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Algebra over a field; Converse; Axiom; Relation (database); Context (archaeology); Domain (mathematical analysis); Symmetric algebra; Commutative property; Intersection (aeronautics); Pure mathematics; Algebra representation; Cellular algebra; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002481515,0.000134429,0.0004287856,0.0001485122,0.00007379947,0.00004090439,0.0002598972,0.000102179,0.00001015131],"category_scores_gemma":[0.001011405,0.00009207625,0.0000710078,0.0003089134,0.0002424445,0.0003471673,0.0001836978,0.0003506493,3.731905e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009668355,"about_ca_system_score_gemma":0.00002829306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001224789,"about_ca_topic_score_gemma":5.614768e-7,"domain_scores_codex":[0.998194,0.0004614649,0.0006710013,0.0002210191,0.0002343692,0.0002181407],"domain_scores_gemma":[0.9979277,0.001230771,0.0004548866,0.0001301712,0.0001108188,0.000145705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001219985,0.00005202681,0.003274667,0.00002325022,0.0000105124,0.00001212394,0.0001790154,0.00001592917,0.0007471695,0.3631107,0.000001879559,0.6325606],"study_design_scores_gemma":[0.002105927,0.001282498,0.02051635,0.0001971035,0.00002790581,0.0009166683,0.000186731,0.01379529,0.002211272,0.9494327,0.008979052,0.0003484985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.167762,0.000967823,0.8304552,0.0003648223,0.0001314584,0.00007275544,2.189152e-7,0.00001298156,0.0002326768],"genre_scores_gemma":[0.3404785,0.00005235699,0.6592976,0.0001009173,0.0000570294,0.000001220942,1.615327e-7,0.000003074855,0.000009199147],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.632212,"threshold_uncertainty_score":0.3754761,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04890587353074712,"score_gpt":0.3410464175587398,"score_spread":0.2921405440279927,"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."}}