{"id":"W4415749762","doi":"10.1007/978-3-032-09645-6_16","title":"Software Portability for Computer Algebra","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Software portability; Axiom; Software; Software system; Software development; Meaning (existential); Software construction","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.001134759,0.0008055818,0.0008794785,0.00109973,0.001072568,0.003261705,0.001422115,0.0008074525,0.02410413],"category_scores_gemma":[0.003306416,0.0007683545,0.001551833,0.001735984,0.003057764,0.008615947,0.002372402,0.005536784,0.004732926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001268625,"about_ca_system_score_gemma":0.000557929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006817238,"about_ca_topic_score_gemma":0.0005794339,"domain_scores_codex":[0.9991536,0.0002367342,0.00007133222,0.0001801078,0.0002827013,0.00007554833],"domain_scores_gemma":[0.9984416,0.0007516386,0.00006143609,0.0005589269,0.0001348588,0.00005150036],"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.0000118987,0.00001460946,0.00005156227,0.00006355358,0.00000743479,0.00002575215,0.0001015121,0.0009633059,0.0003702719,0.9651208,0.004471798,0.02879749],"study_design_scores_gemma":[0.000003079223,0.00000380221,0.00003026922,0.00001333601,0.000003250522,0.00003058623,0.00001028183,0.002225591,0.000255132,0.9854028,0.01201841,0.000003553939],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01167592,0.0051861,0.7698536,0.002644386,0.0008834603,0.00007959663,0.000392366,0.002279707,0.2070048],"genre_scores_gemma":[0.5329382,0.008068693,0.3252519,0.001182074,0.002517743,0.000379047,0.001572176,0.002192484,0.1258977],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02410413,"threshold_uncertainty_score":0.08063638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01912915398348664,"score_gpt":0.2514721356310948,"score_spread":0.2323429816476082,"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."}}