{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005113979,0.001298819,0.001699978,0.002394428,0.002492705,0.006910592,0.004419324,0.001411242,0.007927516],"category_scores_gemma":[0.01882164,0.001931424,0.002535731,0.004063716,0.00345826,0.01417483,0.007113797,0.005185411,0.007820235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002110773,"about_ca_system_score_gemma":0.004281732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00224562,"about_ca_topic_score_gemma":0.002158863,"domain_scores_codex":[0.9933777,0.00140855,0.001019304,0.001253084,0.002369787,0.0005714133],"domain_scores_gemma":[0.9870739,0.002532671,0.0008718912,0.004868329,0.003987736,0.0006653702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001318654,0.0002164428,0.002708723,0.0008625375,0.0001486574,0.0003650963,0.00121997,0.009333163,0.01149874,0.5325353,0.07605083,0.3637419],"study_design_scores_gemma":[0.0003340499,0.0006106237,0.0007038558,0.0003164582,0.0001310019,0.0008730346,0.000294985,0.07372811,0.07745972,0.263563,0.5816572,0.0003279842],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003789935,0.00034692,0.9817674,0.0003954556,0.0003331395,0.0002311184,0.0007949543,0.007708493,0.00463275],"genre_scores_gemma":[0.05600201,0.0004868405,0.9258276,0.0007870688,0.0002833967,0.00112235,0.002866242,0.003071497,0.009553083],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007927516,"threshold_uncertainty_score":0.02704561,"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."}}