{"id":"W4252316665","doi":"10.7287/peerj.preprints.504v1","title":"The design of Maple's sum-of-products and POLY data structures for representing mathematical objects","year":2014,"lang":"en","type":"preprint","venue":"","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Maple; Computer science; Object (grammar); Kernel (algebra); Algebra over a field; Data structure; Mathematics; Algorithm; Programming language; 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":[],"consensus_categories":[],"category_scores_codex":[0.001165069,0.0001579225,0.0003148144,0.00005619552,0.00009858538,0.0001690439,0.001969437,0.0000830405,0.000001580317],"category_scores_gemma":[0.000975975,0.0001006329,0.0000418587,0.00008365771,0.0001134082,0.0001245335,0.003909755,0.000129038,5.417351e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005689064,"about_ca_system_score_gemma":0.0001529769,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004019854,"about_ca_topic_score_gemma":0.000002825983,"domain_scores_codex":[0.9984084,0.0001146425,0.0004472374,0.0006047463,0.0002313241,0.0001936614],"domain_scores_gemma":[0.9962264,0.001455424,0.0003882782,0.00176093,0.0001273129,0.00004164746],"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.0000665925,0.00006985119,0.00006956338,0.002104067,0.000231112,0.000001558812,0.00153554,0.002105378,0.003455005,0.6673078,0.006221317,0.3168322],"study_design_scores_gemma":[0.0001416673,0.00003340668,0.0003538243,0.00007134675,0.00001989481,0.000005988707,0.00001932729,0.5194332,0.01146551,0.4682201,0.0001058596,0.0001299447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006462952,0.0005114855,0.9910349,0.0008279995,0.0003885078,0.0005441102,0.00001267219,0.00004311692,0.0001742776],"genre_scores_gemma":[0.5905451,0.00001549476,0.4091237,0.00002336727,0.0001442662,0.00000972166,0.00001353924,0.000008221225,0.0001166357],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5840821,"threshold_uncertainty_score":0.487323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0716409593781773,"score_gpt":0.3008897902240221,"score_spread":0.2292488308458448,"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."}}