{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001627522,0.0001192773,0.0002465773,0.0003172235,0.00005871716,0.00001358082,0.0001666933,0.00004646546,0.00005195366],"category_scores_gemma":[0.00002601531,0.00007106997,0.00006196355,0.002954307,0.000136414,0.00008894071,0.000008520699,0.0002384367,0.000001728402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003295011,"about_ca_system_score_gemma":0.00001245571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004835644,"about_ca_topic_score_gemma":0.0001814339,"domain_scores_codex":[0.9992903,0.00002832026,0.0002643353,0.0001229559,0.0001361211,0.000157955],"domain_scores_gemma":[0.9992493,0.0003960966,0.00005135122,0.0002416314,0.00004328307,0.00001837659],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.0004507471,0.001527216,0.2278372,0.002061193,0.003089234,0.00001875389,0.006089455,0.3879944,0.02996328,0.005324075,0.002262888,0.3333816],"study_design_scores_gemma":[0.003078986,0.0002712422,0.3519609,0.0008688939,0.001314733,0.00005956187,0.006663663,0.3473263,0.2655137,0.009705518,0.01172709,0.001509416],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3885924,0.0003069958,0.6088641,0.0005808323,0.00002647345,0.0002146522,0.00001198775,0.00006690228,0.001335655],"genre_scores_gemma":[0.9950423,0.0001123803,0.004608938,0.00004269024,0.000003562507,0.00003984843,0.000001102754,0.00001302652,0.0001361081],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.60645,"threshold_uncertainty_score":0.2898149,"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."}}