{"id":"W2123615615","doi":"10.1016/j.ipl.2005.04.004","title":"The convex hull of a regular set of integer vectors is polyhedral and effectively computable","year":2005,"lang":"en","type":"article","venue":"Information Processing Letters","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Convex hull; Polyhedron; Convex polytope; Mathematics; Combinatorics; Integer (computer science); Regular polygon; Set (abstract data type); Numerical digit; Convex set; Discrete mathematics; Representation (politics); Computer science; Arithmetic; Convex optimization","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.001010125,0.0007561363,0.001379748,0.001481278,0.0009391848,0.005535726,0.001443533,0.000689471,0.003317749],"category_scores_gemma":[0.007246126,0.0007420226,0.001019408,0.001586752,0.00385195,0.005721321,0.001868172,0.002834931,0.000741526],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001562736,"about_ca_system_score_gemma":0.001128549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002503982,"about_ca_topic_score_gemma":0.001778793,"domain_scores_codex":[0.9972045,0.000374092,0.0001859296,0.00064231,0.001133307,0.000459789],"domain_scores_gemma":[0.9948987,0.002521129,0.0007143097,0.0008049703,0.0007069458,0.0003538139],"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.0002641557,0.00009064199,0.0007412405,0.0001486896,0.00004596567,0.0002197415,0.000326071,0.03646696,0.00707384,0.9244968,0.001448737,0.02867717],"study_design_scores_gemma":[0.00003492331,0.00009328686,0.0005584506,0.00004347619,0.00002394252,0.0002111688,0.0002391941,0.1353486,0.00924567,0.8495066,0.00465467,0.00004020115],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1409836,0.0002019656,0.8303678,0.0005834357,0.00007623239,0.00009216585,0.0006281662,0.0006179092,0.02644871],"genre_scores_gemma":[0.8348084,0.0003600871,0.1519841,0.0002046866,0.00009999096,0.0002208161,0.001471418,0.0002800395,0.01057044],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005535726,"threshold_uncertainty_score":0.01133847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01007028733079966,"score_gpt":0.2532044976905505,"score_spread":0.2431342103597509,"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."}}