{"id":"W3036636177","doi":"10.1016/j.jsc.2020.06.003","title":"An unwinding number pair for continuous expressions of integrals","year":2020,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Intersection (aeronautics); Logarithm; Multiple integral; Real number; Function (biology); Classification of discontinuities; Methods of contour integration; Integration by parts; Mathematical analysis; Pure mathematics; Applied mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00043429,0.00009232474,0.0004857855,0.00005522656,0.00003968805,0.00002101596,0.0001440599,0.00004898973,0.0001714922],"category_scores_gemma":[0.0009699765,0.0000632641,0.0002391785,0.0001646088,0.00004549586,0.0001125051,0.00001865283,0.0001115025,0.000004022384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001148345,"about_ca_system_score_gemma":0.00002307316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001014623,"about_ca_topic_score_gemma":1.704238e-7,"domain_scores_codex":[0.9987541,0.00008453859,0.0007289347,0.00008317993,0.0002414518,0.0001077386],"domain_scores_gemma":[0.9980054,0.0008732032,0.0005551361,0.00006737861,0.0003421351,0.0001567206],"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.0002263761,0.0007815427,0.0008925726,0.0007336293,0.0003595719,0.000009650665,0.008866115,0.0005517225,0.0134297,0.9562045,0.002554047,0.01539053],"study_design_scores_gemma":[0.0005956412,0.0003045731,0.00009976896,0.0002203989,0.000223209,0.00001838162,0.001135386,0.04255299,0.005213572,0.9494454,0.00009490332,0.00009572382],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5353864,0.000007895279,0.4633251,0.0007550933,0.0000309418,0.00009015301,0.000004708071,0.00001211859,0.0003876009],"genre_scores_gemma":[0.9344668,0.000001609223,0.06526189,0.00007697347,0.0001611964,0.000002105272,0.000002006469,0.00001166568,0.00001574728],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3990804,"threshold_uncertainty_score":0.2579835,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07014748399703147,"score_gpt":0.3808238201454255,"score_spread":0.3106763361483941,"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."}}