{"id":"W1985813832","doi":"10.1007/s00037-013-0063-y","title":"Modular Composition Modulo Triangular Sets and Applications","year":2013,"lang":"en","type":"article","venue":"Computational Complexity","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Agence Nationale de la Recherche","keywords":"Modulo; Modular design; Elliptic curve; Mathematics; Modular arithmetic; Discrete mathematics; Exponential function; Computer science; Algorithm; Cryptography; Pure 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.0009929413,0.0007310222,0.001018022,0.001328469,0.001692834,0.002564864,0.001164519,0.000778267,0.0109357],"category_scores_gemma":[0.004085475,0.0004524405,0.000892488,0.002514106,0.003851738,0.006915264,0.003307956,0.002957574,0.001348545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001642175,"about_ca_system_score_gemma":0.0006758622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006213582,"about_ca_topic_score_gemma":0.000670406,"domain_scores_codex":[0.9991124,0.0002092134,0.00004400744,0.0001769244,0.0003211524,0.0001363861],"domain_scores_gemma":[0.9981,0.001183927,0.0001386892,0.0002623628,0.0001678072,0.0001472072],"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.00001687557,0.00001407933,0.00006169922,0.00002919305,0.00000264295,0.00001934141,0.00008637176,0.001069711,0.0002901759,0.9895795,0.000703202,0.008127328],"study_design_scores_gemma":[0.000006071456,0.000005749314,0.00003691165,0.000006665894,0.000003961403,0.00003625523,0.00002629389,0.003601073,0.0004431073,0.9936339,0.002195807,0.000004153555],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.257883,0.004302041,0.4560899,0.004376935,0.0006323747,0.0001484498,0.0001990895,0.0005645512,0.2758036],"genre_scores_gemma":[0.8990526,0.002395337,0.06569698,0.0003660957,0.0009816327,0.0001322943,0.0001932116,0.00013113,0.03105074],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0109357,"threshold_uncertainty_score":0.03658354,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02752373217021198,"score_gpt":0.2556594102718284,"score_spread":0.2281356781016164,"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."}}