{"id":"W2478505817","doi":"10.1007/978-3-319-42432-3_9","title":"Automated Deduction in Ring Theory","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Semiring; Equational logic; Associative property; Axiom; Mathematical proof; Automated theorem proving; Ring (chemistry); Computer science; Kleene algebra; Ring theory; Algebra over a field; Discrete mathematics; Commutative property; Commutative ring; Programming language; Mathematics; Pure mathematics; Rewriting","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.002402561,0.0006117579,0.0008388446,0.001171085,0.00105332,0.003484893,0.001658096,0.0007915334,0.006216318],"category_scores_gemma":[0.00440642,0.0007059842,0.001277397,0.001443391,0.003475772,0.006700149,0.002103674,0.003619776,0.001905292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001839502,"about_ca_system_score_gemma":0.00116852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001024624,"about_ca_topic_score_gemma":0.0008654089,"domain_scores_codex":[0.9979018,0.0009361174,0.0001172539,0.0002269156,0.0007050914,0.0001127528],"domain_scores_gemma":[0.9975289,0.001655489,0.00007078031,0.0004597782,0.0002381825,0.00004696236],"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.00002701473,0.00003214403,0.0001639379,0.0001814772,0.00002074543,0.00004391151,0.0002281472,0.002621286,0.0004979479,0.9306455,0.007223894,0.05831397],"study_design_scores_gemma":[0.000009116558,0.000006507709,0.0000832038,0.0000325809,0.000008629622,0.00003554165,0.00002515914,0.005345734,0.0005344804,0.9802384,0.01367406,0.000006506295],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.03213685,0.01764452,0.7751215,0.005259314,0.001133605,0.00009308803,0.0005021644,0.001955205,0.1661537],"genre_scores_gemma":[0.6294176,0.01179598,0.3087672,0.0008644848,0.001689484,0.0001636123,0.001238347,0.0005858756,0.04547747],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.006216318,"threshold_uncertainty_score":0.02079564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01712375759478841,"score_gpt":0.2460805131000031,"score_spread":0.2289567555052147,"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."}}