{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000146007,0.0001791446,0.0001977038,0.000135969,0.0003709147,0.0003147685,0.0004356994,0.00005202789,0.00004602535],"category_scores_gemma":[0.00001065145,0.0001852198,0.0000643792,0.0003457849,0.000143521,0.0007186696,0.0002657111,0.0001249929,0.0002278857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005245577,"about_ca_system_score_gemma":0.00005272013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007041218,"about_ca_topic_score_gemma":0.000001951528,"domain_scores_codex":[0.9985634,0.0001004889,0.0003124851,0.0004735834,0.000309496,0.0002405134],"domain_scores_gemma":[0.9990166,0.0001737321,0.0001182445,0.0002934736,0.0002196068,0.0001782987],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006239687,0.0001952921,0.0003054788,0.00003620806,0.00004327039,0.000003130496,0.0002435194,0.03134605,0.001242414,0.8325468,0.001135149,0.1328965],"study_design_scores_gemma":[0.0002942855,0.00002290849,0.0620741,0.00000561769,0.00000318673,0.00002258929,0.000003936214,0.5001253,0.00004856061,0.4369423,0.0003194675,0.0001376665],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1514539,0.0001258168,0.8450317,0.001884804,0.0001105763,0.0005555817,0.00001072363,0.0002526667,0.0005743348],"genre_scores_gemma":[0.8757231,0.000001886486,0.1232969,0.0006110606,0.0001031054,0.0001203243,0.0001076516,0.000008714011,0.00002730584],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7242693,"threshold_uncertainty_score":0.7553046,"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."}}