{"id":"W2008573631","doi":"10.1145/860854.860873","title":"An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra","year":2003,"lang":"en","type":"article","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Tensor product; Algebra over a field; Symbolic computation; Simple (philosophy); Pure 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.001797245,0.001663587,0.001026496,0.002206969,0.001667554,0.002672462,0.002361797,0.0009326276,0.02491484],"category_scores_gemma":[0.007379777,0.001178877,0.001715133,0.001606475,0.001945333,0.004137403,0.004361562,0.003136213,0.01637659],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009811129,"about_ca_system_score_gemma":0.002500651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001019463,"about_ca_topic_score_gemma":0.001323483,"domain_scores_codex":[0.9981387,0.0003243606,0.0001707926,0.0003106882,0.0009210664,0.0001344496],"domain_scores_gemma":[0.997043,0.001379896,0.000125481,0.0007417477,0.0006310958,0.00007874255],"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.0000957205,0.0002133602,0.0003774161,0.0004426943,0.00007638814,0.0003565572,0.0006440295,0.006489136,0.01523611,0.4732656,0.03048846,0.4723144],"study_design_scores_gemma":[0.0001881254,0.0001396875,0.0004303034,0.0001609047,0.00008458098,0.001252783,0.0001694491,0.1060547,0.02629979,0.7055143,0.1595417,0.000163735],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005420211,0.00004416216,0.9926183,0.0001202204,0.00004825787,0.0001061505,0.00007010746,0.002643573,0.003807296],"genre_scores_gemma":[0.01917553,0.000219172,0.973682,0.0001379305,0.0001033106,0.0003988906,0.0003618776,0.0009380525,0.004983171],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02491484,"threshold_uncertainty_score":0.08334839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01075865938852439,"score_gpt":0.2358027360680986,"score_spread":0.2250440766795742,"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."}}