{"id":"W2624157057","doi":"10.1016/j.jsc.2018.06.010","title":"On the postulation of lines and a fat line","year":2018,"lang":"en","type":"preprint","venue":"Journal of Symbolic Computation","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Toronto Metropolitan University","funders":"Vetenskapsrådet; Narodowe Centrum Nauki; Deutsche Forschungsgemeinschaft","keywords":"Line (geometry); Computer science; Mathematics; Geometry","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.002129817,0.00068081,0.000807838,0.001641712,0.002495264,0.005170752,0.001306006,0.001370232,0.01023746],"category_scores_gemma":[0.008064131,0.0005399323,0.0009890797,0.001745846,0.006314915,0.01395627,0.004007922,0.003268125,0.001460173],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001551111,"about_ca_system_score_gemma":0.0006830085,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001216226,"about_ca_topic_score_gemma":0.0008586232,"domain_scores_codex":[0.9984066,0.0006018325,0.000116054,0.0003212866,0.0003123773,0.0002418605],"domain_scores_gemma":[0.9969261,0.001390353,0.0003013595,0.0005407179,0.0006310189,0.0002103361],"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.00002953433,0.00000550507,0.00007154657,0.00001065513,0.000002442785,0.00004268327,0.0001667332,0.0002864217,0.0001846856,0.9959564,0.0004950525,0.002748433],"study_design_scores_gemma":[0.00001252826,0.00001720979,0.00004493736,0.00001408816,0.000006852792,0.00005810764,0.0001274259,0.002354036,0.0004183556,0.9915005,0.005437437,0.00000840862],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2196053,0.001625727,0.6466421,0.004681419,0.00100525,0.00009038755,0.0003812222,0.0007676351,0.125201],"genre_scores_gemma":[0.8928135,0.0007021727,0.07857201,0.0008056774,0.0005477078,0.00007178474,0.0003425857,0.0004719999,0.02567252],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01023746,"threshold_uncertainty_score":0.0342477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04762520464268368,"score_gpt":0.3274300068240932,"score_spread":0.2798048021814095,"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."}}