{"id":"W72241135","doi":"10.1007/978-1-4614-8118-8_8","title":"Proofs on Coverings by Cylinders","year":2013,"lang":"en","type":"book-chapter","venue":"Fields Institute monographs","topic":"Advanced Numerical Analysis Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Hyperplane; Mathematics; Mathematical proof; Euclidean space; Regular polygon; Convex body; Affine space; Affine transformation; Euclidean geometry; Conjecture; Combinatorics; Space (punctuation); Pure mathematics; Mathematical analysis; Geometry; Convex hull; Computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00003433248,0.0005512031,0.0005245625,0.0003011093,0.00007177411,0.00005029417,0.000365095,0.0007240213,0.0004737361],"category_scores_gemma":[0.000009609626,0.0005411649,0.0003402477,0.0000950481,0.0001453142,0.0002295607,0.00005742074,0.0009593921,0.0003591758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008222301,"about_ca_system_score_gemma":0.00001090769,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002182634,"about_ca_topic_score_gemma":0.00001451176,"domain_scores_codex":[0.9985819,0.000003507803,0.0003922761,0.0004149534,0.0002798795,0.0003274943],"domain_scores_gemma":[0.9991221,0.00002767187,0.00009566468,0.0005670958,0.0000428877,0.0001445553],"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.00002256053,0.00005016716,0.000009990218,0.000249151,0.000886173,0.00005406734,0.000100777,0.008210075,0.0001997035,0.07660919,0.7714934,0.1421147],"study_design_scores_gemma":[0.0001121927,0.0001112248,0.000001362752,0.0001599687,0.00006073929,0.000002201565,0.000001996402,0.0008280648,0.00118627,0.02200362,0.9748503,0.0006820757],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000121709,0.000837943,0.05693272,0.00012195,0.0005173479,0.0005183483,0.00007788651,0.001653686,0.9392184],"genre_scores_gemma":[0.1203573,0.01222236,0.02261188,0.003264819,0.0008451352,0.0007302054,0.001367309,0.0008591909,0.8377418],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2033569,"threshold_uncertainty_score":0.999704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01004828546318222,"score_gpt":0.2038726429915662,"score_spread":0.193824357528384,"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."}}