{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002842112,0.0005142978,0.0006961567,0.001169791,0.0007942569,0.003011626,0.001238628,0.0007211909,0.003545747],"category_scores_gemma":[0.005261651,0.0004327484,0.001235548,0.001068987,0.002181087,0.00502886,0.001823102,0.002250183,0.001698673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001199853,"about_ca_system_score_gemma":0.0007110544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000987448,"about_ca_topic_score_gemma":0.001020311,"domain_scores_codex":[0.9974927,0.0005167895,0.0002203939,0.0003582244,0.001285363,0.0001265137],"domain_scores_gemma":[0.9977773,0.0009531335,0.0001359514,0.0004657391,0.0005638035,0.0001041152],"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.00001859583,0.00002793423,0.0001967269,0.00007230471,0.00001788446,0.000220968,0.0004760861,0.00406276,0.005394402,0.9559401,0.001131678,0.0324405],"study_design_scores_gemma":[0.00001410378,0.0000359447,0.000190822,0.00004866667,0.00005461471,0.0004250189,0.00008043875,0.07061875,0.01629665,0.8757957,0.03639469,0.00004463853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008527834,0.0004534669,0.973078,0.0001863445,0.00008991915,0.00003664903,0.00004571885,0.0007815944,0.01680057],"genre_scores_gemma":[0.3468235,0.0009876951,0.6276104,0.0002969865,0.0003046417,0.0001128556,0.0002398398,0.001510859,0.0221132],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003545747,"threshold_uncertainty_score":0.01503068,"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."}}