{"id":"W1968315351","doi":"10.1006/jsco.2001.0456","title":"Commutative Algebra in the Mizar System","year":2001,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Generalization; Mathematics; Algebra over a field; Formal power series; Power series; Commutative property; Algebraic number; Basis (linear algebra); Discrete mathematics; Pure mathematics; Geometry","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.001751883,0.0003216162,0.001046073,0.001096673,0.003047228,0.00420849,0.0007292812,0.0007643204,0.009446145],"category_scores_gemma":[0.002928481,0.0004910661,0.0007410379,0.0012306,0.003636484,0.006116328,0.002214459,0.002117543,0.002723409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001315672,"about_ca_system_score_gemma":0.0009641998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007538537,"about_ca_topic_score_gemma":0.0009359086,"domain_scores_codex":[0.9982474,0.0006429603,0.0001092021,0.0002965906,0.0004655259,0.0002383593],"domain_scores_gemma":[0.9982188,0.0007834088,0.000171151,0.0002460248,0.0004122223,0.0001684132],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002607403,0.0000087733,0.00009132944,0.00001947725,0.000006616146,0.00004153597,0.0001294498,0.0002528031,0.0003787395,0.9953241,0.00108019,0.002640956],"study_design_scores_gemma":[0.00001552308,0.00001315241,0.0001211206,0.000004890698,0.00001025262,0.0001158522,0.00005028452,0.002198719,0.0006636605,0.9901767,0.006617834,0.00001213],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2209763,0.005242806,0.5436987,0.007367509,0.00110453,0.0001084074,0.0008088799,0.001211462,0.2194815],"genre_scores_gemma":[0.8959053,0.001352899,0.07151998,0.001174171,0.001008691,0.0001038794,0.0003814438,0.0002572429,0.0282964],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009446145,"threshold_uncertainty_score":0.03160048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01556430286456721,"score_gpt":0.2565066795700707,"score_spread":0.2409423767055035,"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."}}