{"id":"W2127412655","doi":"10.1006/jsco.2000.0370","title":"Challenges of Symbolic Computation: My Favorite Open Problems","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":82,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Simon Fraser University","keywords":"Symbolic computation; Symbolic-numeric computation; The Symbolic; Computation; Computer science; Mathematics; Theoretical computer science; Algebra over a field; Programming language; Pure 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.0009326838,0.0002535134,0.0006422877,0.0003943551,0.0001474208,0.0002864862,0.001349797,0.00009658444,0.00003436634],"category_scores_gemma":[0.00003381088,0.0002336323,0.0001956447,0.0006950693,0.00007171118,0.001565867,0.0002237237,0.0002660695,0.00004063191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008597877,"about_ca_system_score_gemma":0.0002798644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005644484,"about_ca_topic_score_gemma":0.00001026655,"domain_scores_codex":[0.9971526,0.0002391605,0.001268545,0.0003573113,0.0006733674,0.0003090656],"domain_scores_gemma":[0.9977237,0.000255504,0.001031731,0.0002505045,0.0005444615,0.0001941148],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003995291,0.0002856294,0.00009305352,0.00007911667,0.00009074996,0.00001627286,0.004972098,0.06996448,0.0003363924,0.01160705,0.0005284035,0.9119868],"study_design_scores_gemma":[0.007209776,0.002456991,0.1159515,0.001340147,0.000137144,0.001453053,0.000550266,0.626574,0.001383209,0.2348926,0.006845386,0.001205922],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5109756,0.00270626,0.4669331,0.00562607,0.001206727,0.0007393938,0.000004876553,0.0001187617,0.01168927],"genre_scores_gemma":[0.9778448,0.0003489852,0.02115449,0.00016753,0.0003540044,0.000005466681,0.000004968827,0.00001844964,0.0001013022],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9107808,"threshold_uncertainty_score":0.9527251,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03688501806389176,"score_gpt":0.2866758961192889,"score_spread":0.2497908780553971,"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."}}