{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005236384,0.0013086,0.001688507,0.002170554,0.002208391,0.006624364,0.004099006,0.00143897,0.007246448],"category_scores_gemma":[0.01939513,0.001891021,0.00245153,0.00360153,0.003562433,0.01230053,0.006381164,0.00556164,0.00754632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001947537,"about_ca_system_score_gemma":0.003808298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001656304,"about_ca_topic_score_gemma":0.001543122,"domain_scores_codex":[0.9932487,0.001580189,0.000966074,0.001303386,0.002334049,0.0005675721],"domain_scores_gemma":[0.987011,0.002566926,0.0008551305,0.004860112,0.004035367,0.0006714368],"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.001356298,0.000184188,0.002318628,0.0009253144,0.0001470157,0.000363526,0.001133315,0.009774988,0.01397809,0.5430782,0.06967234,0.357068],"study_design_scores_gemma":[0.00033187,0.0005854114,0.0007301367,0.0003142127,0.0001341051,0.0009261592,0.0002549155,0.07421494,0.08887757,0.270926,0.5623723,0.0003324072],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003764193,0.0003922411,0.9835302,0.0004242835,0.0003829577,0.0001829632,0.0006377405,0.00649538,0.00419014],"genre_scores_gemma":[0.05954298,0.0005403497,0.9229048,0.0008177305,0.0003518286,0.0009785432,0.002353818,0.003385293,0.009124518],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007246448,"threshold_uncertainty_score":0.02769297,"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."}}