{"id":"W2280422233","doi":"","title":"Différentiabilité et intégrabilité en Coq. Application à la formule de d'Alembert","year":2012,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Mathematics and Applications","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Humanities; Philosophy; Physics; Mathematics","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.001810967,0.0008667302,0.0005862483,0.001369457,0.0006728701,0.001656882,0.0005872507,0.001013784,0.005584092],"category_scores_gemma":[0.005625763,0.0002346964,0.0008973766,0.001037399,0.002991496,0.001782256,0.001851234,0.004189674,0.0007168534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001834607,"about_ca_system_score_gemma":0.000835356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004715642,"about_ca_topic_score_gemma":0.002705208,"domain_scores_codex":[0.9995806,0.0001376388,0.00001461981,0.00006042869,0.0001499988,0.00005674531],"domain_scores_gemma":[0.9989362,0.0005845908,0.00008291791,0.00007494276,0.0002604679,0.00006094383],"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.00002639484,0.00001187414,0.0001798895,0.00006669719,0.00001440723,0.00008067567,0.0001782059,0.003638124,0.001373747,0.9814603,0.002044247,0.01092552],"study_design_scores_gemma":[0.00001707722,0.00002601508,0.0006229518,0.00006552121,0.00001533028,0.0001798497,0.0001229328,0.05247864,0.001330029,0.931041,0.01408087,0.00001987438],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1191,0.01379529,0.6798466,0.01130382,0.001601177,0.00005981884,0.0004133815,0.000345459,0.1735345],"genre_scores_gemma":[0.8561424,0.004750281,0.07612756,0.0009577915,0.0008942305,0.0001265571,0.0001635288,0.0003452972,0.06049238],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005584092,"threshold_uncertainty_score":0.01868063,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01620930975905048,"score_gpt":0.2670517730128713,"score_spread":0.2508424632538208,"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."}}