{"id":"W4411088537","doi":"10.5206/mt.v5i2.22392","title":"Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple","year":2025,"lang":"en","type":"article","venue":"Maple Transactions","topic":"Advanced Numerical Analysis Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Huawei Technologies (Canada); Western University","funders":"","keywords":"Maple; Parametric statistics; Polytope; Integer (computer science); Mathematics; Combinatorics; Computer science; Statistics; Programming language; Botany; Biology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":true,"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.001590887,0.0007688456,0.001066194,0.001777209,0.001090835,0.003688794,0.001982663,0.0009289086,0.008882469],"category_scores_gemma":[0.0105963,0.0006395226,0.001302461,0.002797823,0.001450561,0.00646097,0.003280042,0.002282234,0.002317655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001065002,"about_ca_system_score_gemma":0.001153058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001579659,"about_ca_topic_score_gemma":0.003423356,"domain_scores_codex":[0.9975216,0.0005269274,0.000252,0.0004653434,0.001003156,0.0002310152],"domain_scores_gemma":[0.9961449,0.001654834,0.0003239186,0.001156457,0.0005794985,0.0001403996],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006956051,0.0001956653,0.005279547,0.0009107266,0.00007639985,0.0003478123,0.001284142,0.1169695,0.01264227,0.4225113,0.01736794,0.4217191],"study_design_scores_gemma":[0.00008010022,0.0001917501,0.001189506,0.0001734076,0.00003857174,0.000387634,0.0003267199,0.5731011,0.03311913,0.3090006,0.08227663,0.00011477],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02043079,0.000116514,0.9696419,0.0001679733,0.00004697564,0.0001035063,0.0008259541,0.004494812,0.004171542],"genre_scores_gemma":[0.168143,0.0001873928,0.8241768,0.0001229106,0.00003887562,0.0004565937,0.00181363,0.001064216,0.003996704],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008882469,"threshold_uncertainty_score":0.02971482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003740704710434658,"score_gpt":0.240656478963216,"score_spread":0.2369157742527813,"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."}}