{"id":"W2767728188","doi":"10.1145/3338637.3338642","title":"Computing the integer points of a polyhedron","year":2019,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Polyhedron; Integer (computer science); Integer programming; Omega; Computer science; Discrete mathematics; Combinatorics; Quantifier elimination; Constructive; Loop (graph theory); Mathematics; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":["open_science"],"consensus_categories":[],"category_scores_codex":[0.0007343996,0.0001718669,0.000269629,0.0002223957,0.0001388689,0.0001122205,0.007523688,0.00006268313,0.00001350523],"category_scores_gemma":[0.00006744188,0.0001378184,0.0001078077,0.0009223393,0.0001472653,0.0003976345,0.005306479,0.0003757685,0.0001313665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006102263,"about_ca_system_score_gemma":0.00009781031,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001371798,"about_ca_topic_score_gemma":0.00003650592,"domain_scores_codex":[0.9982077,0.0003456685,0.000581324,0.0003367992,0.0002457482,0.0002826969],"domain_scores_gemma":[0.9934657,0.001424152,0.000246505,0.004712138,0.0001043147,0.0000472436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000111761,0.0004162336,0.01673685,0.00004055545,0.00006991619,0.000002349604,0.006881607,0.002030863,0.0004892982,0.4745312,0.001056464,0.4977335],"study_design_scores_gemma":[0.0007152919,0.0001098133,0.05606643,0.0001611575,0.00000625425,0.0000269258,0.000061144,0.8810737,0.0003543807,0.05891484,0.002221309,0.0002887899],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3932518,0.0005115158,0.5885888,0.01486139,0.0007300825,0.0005320664,0.000001992338,0.0001789996,0.001343396],"genre_scores_gemma":[0.8432466,0.00002470878,0.1558204,0.0008169615,0.00004280826,0.000007781437,0.000006285192,0.00000969512,0.00002474979],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8790428,"threshold_uncertainty_score":0.9978461,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02432456423391149,"score_gpt":0.2834346234914631,"score_spread":0.2591100592575517,"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."}}