{"id":"W1583304127","doi":"","title":"Proceedings of the 36th international symposium on Symbolic and algebraic computation","year":2011,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Symbolic computation; Computer science; Algebra over a field; Symbolic-numeric computation; Software; Algebraic number; Mathematical software; Field (mathematics); Quantifier elimination; Differential algebraic geometry; Computation; Theoretical computer science; Mathematics; Ordinary differential equation; Programming language; Differential equation; Pure mathematics; Differential algebraic equation","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.0001069906,0.00005692147,0.00005789578,0.00004678547,0.00004805232,0.00003988974,0.0004184642,0.00002442041,0.000004144786],"category_scores_gemma":[0.00001102775,0.00003858985,0.00002147284,0.000142273,0.00003417332,0.0001501194,0.000167102,0.00004655334,0.000002113929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008732695,"about_ca_system_score_gemma":0.000008158629,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001327195,"about_ca_topic_score_gemma":4.138125e-7,"domain_scores_codex":[0.9995241,0.000007355767,0.0001200914,0.0001480724,0.0001353071,0.00006514352],"domain_scores_gemma":[0.9996987,0.00001656821,0.00008352697,0.0000747298,0.0001057517,0.00002071929],"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.000008689463,0.0001196436,0.009482527,0.00001437011,0.00002199117,2.869531e-7,0.003084654,0.0003337208,0.001048811,0.9736588,0.002443356,0.00978315],"study_design_scores_gemma":[0.0005931458,0.0003288185,0.1244023,0.0001345407,0.000009968222,0.000036259,0.00007347887,0.7302357,0.09389054,0.04929502,0.0006390961,0.0003610822],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1607035,0.000009936171,0.6506913,0.00127544,0.0003164664,0.0002141038,5.56837e-7,0.0004008131,0.1863878],"genre_scores_gemma":[0.9317529,0.000006844432,0.06771081,0.000284597,0.00001229377,0.000002813395,2.272506e-7,0.000002820883,0.0002267345],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9243638,"threshold_uncertainty_score":0.1573648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01734730751490287,"score_gpt":0.2320558177809985,"score_spread":0.2147085102660956,"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."}}