{"id":"W2049605943","doi":"10.1145/2733693.2733720","title":"The Design of Maple's Sum-of-Products and POLY Data Structures for Representing Mathematical Objects","year":2015,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Maple; Computer science; Object (grammar); Kernel (algebra); Algebra over a field; Mathematics; Pure mathematics; Artificial intelligence","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":["open_science"],"consensus_categories":[],"category_scores_codex":[0.001509092,0.0001211255,0.0002309839,0.00010767,0.000162057,0.0001206647,0.006292272,0.00004418877,2.867768e-7],"category_scores_gemma":[0.001207121,0.00009504698,0.00002610627,0.0004140981,0.0002514636,0.0004021302,0.006408913,0.0001311299,9.638701e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001691578,"about_ca_system_score_gemma":0.0001685617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000397861,"about_ca_topic_score_gemma":0.0000133653,"domain_scores_codex":[0.9984422,0.0002943062,0.0005288441,0.0003351739,0.0001998334,0.0001996933],"domain_scores_gemma":[0.9906673,0.00332216,0.0002584533,0.005492452,0.0002031044,0.0000564583],"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.00003911919,0.000214479,0.0007422422,0.0001131753,0.0000908102,0.000001171931,0.00534865,0.0007665619,0.0004127648,0.5232978,0.00336035,0.4656129],"study_design_scores_gemma":[0.0004278136,0.00006706201,0.001627622,0.00004689906,0.000009628058,0.00001424922,0.00006236741,0.5864033,0.0007589905,0.4100505,0.0004179995,0.00011355],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01261492,0.002210477,0.980067,0.004315658,0.0001953139,0.0004888134,0.000007803431,0.00004788029,0.00005211752],"genre_scores_gemma":[0.4541409,0.00004353655,0.5457087,0.00003657131,0.00003490327,0.00001254224,0.0000118635,0.000005642368,0.000005385424],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5856368,"threshold_uncertainty_score":0.9990842,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1565860519526134,"score_gpt":0.345271712053709,"score_spread":0.1886856601010956,"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."}}