{"id":"W3007372112","doi":"10.1007/978-3-030-41258-6_10","title":"The Z_Polyhedra Library in Maple","year":2020,"lang":"en","type":"book-chapter","venue":"Communications in computer and information science","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Polyhedron; Maple; Integer (computer science); Computer science; Presburger arithmetic; Parametric statistics; Combinatorics; Discrete mathematics; Mathematics; Theoretical computer science; Programming language","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.0003077401,0.001719093,0.001294456,0.00291548,0.001172059,0.003380558,0.002563913,0.0008952752,0.2988423],"category_scores_gemma":[0.001552304,0.001232229,0.001697609,0.004988836,0.0007410259,0.004868055,0.003323458,0.002589228,0.2493582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008978538,"about_ca_system_score_gemma":0.0009963253,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00113396,"about_ca_topic_score_gemma":0.001868408,"domain_scores_codex":[0.9994554,0.00005511184,0.00002841255,0.00009141128,0.0003032568,0.00006655471],"domain_scores_gemma":[0.9996282,0.0001084185,0.0000176709,0.0001092387,0.00009648423,0.00003994184],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006767744,0.00004152162,0.00007579037,0.0006200013,0.00002151436,0.00007257781,0.00009662558,0.002519371,0.001875291,0.1214262,0.4692318,0.4039518],"study_design_scores_gemma":[0.00001616373,0.00001092153,0.000068996,0.00009880798,0.000008946222,0.0001388324,0.00002046417,0.002081386,0.00220369,0.06012958,0.9351992,0.00002293763],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"software","genre_scores_codex":[0.001326324,0.003368192,0.4342734,0.0006655903,0.001047641,0.0001373935,0.009927451,0.05386614,0.4953879],"genre_scores_gemma":[0.02348666,0.009050964,0.3419875,0.00119131,0.0007678575,0.0007145124,0.02584413,0.04787063,0.5490864],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.2988423,"threshold_uncertainty_score":0.9997271,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02601503610819189,"score_gpt":0.2513998400193202,"score_spread":0.2253848039111283,"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."}}