{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002466176,0.000565034,0.0007173264,0.001932223,0.0021046,0.005071356,0.001562817,0.001137632,0.00710369],"category_scores_gemma":[0.006019669,0.0008651856,0.001325977,0.002291293,0.007035924,0.01411476,0.00272702,0.004118082,0.001004117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001458772,"about_ca_system_score_gemma":0.0008540672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002090883,"about_ca_topic_score_gemma":0.001622795,"domain_scores_codex":[0.9982646,0.0005711293,0.0001661244,0.0003447308,0.0005021252,0.0001513561],"domain_scores_gemma":[0.9971893,0.001537372,0.0002199759,0.0004495951,0.0004226827,0.0001810936],"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.000004255874,0.000006985543,0.00007043061,0.000009086785,0.000002159975,0.0000108474,0.000189424,0.0001030854,0.00007263459,0.9976929,0.0002371343,0.001601042],"study_design_scores_gemma":[0.000006269895,0.000005018534,0.00005620001,0.00000589815,0.000005495164,0.00002396877,0.00005252634,0.0009096682,0.0001457942,0.9962656,0.002518632,0.000004927261],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07898381,0.002222146,0.8066866,0.004285636,0.0004615788,0.0001211188,0.0006254044,0.0008113144,0.1058024],"genre_scores_gemma":[0.8027222,0.001753138,0.166272,0.0012828,0.001016151,0.0002159674,0.0006120002,0.0003459694,0.02577975],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00710369,"threshold_uncertainty_score":0.02376419,"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."}}