{"id":"W2549194755","doi":"10.1016/j.jsc.2018.04.011","title":"An equivalence theorem for regular differential chains","year":2018,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Equivalence (formal languages); Pure mathematics; Computation; Differential (mechanical device); Discrete mathematics; Algebra over a field; Algorithm","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.00156152,0.0005473058,0.000961348,0.001988705,0.002423081,0.002783554,0.001251972,0.001316394,0.01497069],"category_scores_gemma":[0.005375089,0.0005413123,0.00159322,0.001394245,0.003692951,0.0103484,0.004387789,0.003791124,0.0012591],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001329031,"about_ca_system_score_gemma":0.0006832315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001153242,"about_ca_topic_score_gemma":0.0009241777,"domain_scores_codex":[0.9984708,0.0001762015,0.0001102785,0.000478633,0.0004692785,0.0002948107],"domain_scores_gemma":[0.9965227,0.001699741,0.0001445428,0.0005653394,0.0007532451,0.000314423],"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.00003383054,0.00003314802,0.000211648,0.00002451781,0.000006972091,0.00006296131,0.0002311948,0.0002354871,0.0005757252,0.9901723,0.0009109431,0.007501354],"study_design_scores_gemma":[0.00001633258,0.00001518745,0.0001355951,0.000008987577,0.0000086313,0.0000603788,0.00005815994,0.001522135,0.0004810956,0.9934734,0.004213578,0.000006548904],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2041093,0.0009232264,0.5454733,0.00309247,0.001202646,0.0001897705,0.0008005715,0.0007886399,0.2434202],"genre_scores_gemma":[0.9039366,0.0007587762,0.05655816,0.001221413,0.0008685614,0.0001557744,0.0009880917,0.000418202,0.03509439],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01497069,"threshold_uncertainty_score":0.05008197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01783612573626888,"score_gpt":0.2881548713050172,"score_spread":0.2703187455687483,"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."}}