{"id":"W2104596762","doi":"10.1134/s0361768813020059","title":"Indefinite integration as term rewriting: Integrals containing tangent","year":2013,"lang":"en","type":"article","venue":"Programming and Computer Software","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Rewriting; Term (time); Tangent; Class (philosophy); Algebra over a field; Mathematics; Function (biology); Computer science; Calculus (dental); Pure mathematics; Programming language; Artificial intelligence; Geometry; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0002215691,0.0002213072,0.0002535901,0.0001583578,0.0002115541,0.001050853,0.0005133753,0.00009831256,0.000007927646],"category_scores_gemma":[0.00008537468,0.0001795899,0.00006972322,0.0002688571,0.00006168713,0.0005760246,0.0003960737,0.0002142533,0.00004566105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002763048,"about_ca_system_score_gemma":0.00002698884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003503193,"about_ca_topic_score_gemma":0.00001479654,"domain_scores_codex":[0.9985456,0.00006774272,0.0002939311,0.0004859426,0.0002068146,0.0004000026],"domain_scores_gemma":[0.9990503,0.0002129729,0.0001170356,0.0003620769,0.0001256421,0.0001319873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000002076166,0.00002814923,0.0242653,0.00001967139,0.0000164988,0.00001325243,0.001267286,9.220175e-7,0.000005848005,0.01300155,0.0001500061,0.9612294],"study_design_scores_gemma":[0.005157171,0.006759331,0.7024459,0.003266297,0.0001503078,0.00167875,0.005300994,0.1302607,0.002563484,0.09693837,0.04018287,0.005295803],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.224036,0.0005632419,0.7730672,0.0005887641,0.0003571763,0.0003251865,3.984487e-7,0.0009053245,0.0001567084],"genre_scores_gemma":[0.6837471,0.00001816424,0.3154005,0.0005880872,0.00009562544,0.00008209106,0.000007113526,0.00000933742,0.00005194998],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9559336,"threshold_uncertainty_score":0.9999862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02086620027089474,"score_gpt":0.2483492053390265,"score_spread":0.2274830050681317,"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."}}