{"id":"W2989341942","doi":"10.1007/s00200-020-00426-y","title":"A nonexistence certificate for projective planes of order ten with weight 15 codewords","year":2020,"lang":"en","type":"article","venue":"Applicable Algebra in Engineering Communication and Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Wilfrid Laurier University; Carleton University; University of Waterloo","funders":"","keywords":"Satisfiability; Certificate; Symbolic computation; Simple (philosophy); Projective test; Projective plane; Computation; Theory of computation","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.001537007,0.0006353647,0.001089176,0.001134563,0.002996873,0.003941154,0.001544267,0.001382321,0.009842014],"category_scores_gemma":[0.007437833,0.0006471651,0.001547317,0.001052563,0.003735019,0.005205388,0.004449119,0.003800109,0.001872466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001842543,"about_ca_system_score_gemma":0.002658148,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002971047,"about_ca_topic_score_gemma":0.001730202,"domain_scores_codex":[0.9971636,0.0002543196,0.0001771217,0.0006575977,0.0009495197,0.0007977622],"domain_scores_gemma":[0.9953812,0.002194292,0.0004557871,0.0007237046,0.0007892046,0.0004557949],"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.0002039605,0.00004901278,0.0009643885,0.00008069575,0.00002354707,0.0003371699,0.0004061966,0.00254024,0.003660525,0.9829562,0.002311371,0.006466773],"study_design_scores_gemma":[0.00005722902,0.00006315987,0.0004776479,0.00003792215,0.00003061023,0.0003146419,0.0002556758,0.009600629,0.01013556,0.9703028,0.008675659,0.00004847519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5516888,0.0003232879,0.3333724,0.002686691,0.0003520428,0.000232449,0.001211811,0.001755796,0.1083767],"genre_scores_gemma":[0.9499232,0.0001791036,0.02829256,0.0003344667,0.0001076077,0.0001268301,0.001148033,0.0002465614,0.01964164],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009842014,"threshold_uncertainty_score":0.03292477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03974349600337897,"score_gpt":0.2590012909516102,"score_spread":0.2192577949482312,"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."}}