{"id":"W1977405062","doi":"10.1007/s00153-003-0205-z","title":"Matrix identities and the pigeonhole principle","year":2004,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computational Geometry and Mesh Generation","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; McMaster University","funders":"","keywords":"Pigeonhole principle; Mathematical proof; Mathematics; Bounded function; Matrix (chemical analysis); Algebra over a field; Discrete mathematics; Pure mathematics; Calculus (dental); Mathematical analysis","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.001637287,0.0005877541,0.0009006251,0.001830838,0.002473222,0.004118852,0.001556616,0.001578793,0.01529733],"category_scores_gemma":[0.005872141,0.0006580376,0.00125927,0.001333868,0.005989104,0.009088004,0.003610746,0.004041297,0.002233048],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001579042,"about_ca_system_score_gemma":0.0008159871,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001090727,"about_ca_topic_score_gemma":0.001020186,"domain_scores_codex":[0.9988989,0.0003430081,0.00005247616,0.0002143096,0.0003701454,0.0001211821],"domain_scores_gemma":[0.9975868,0.001239587,0.0001465851,0.0005278909,0.0003431224,0.0001559728],"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.000005765814,0.00000293895,0.00001601734,0.000007278086,0.00000155046,0.000008241876,0.00003524072,0.0002726967,0.00007708168,0.9969929,0.0008464616,0.001733793],"study_design_scores_gemma":[0.000002988013,0.000002888006,0.00001298106,0.000003814885,0.000001091082,0.00001337479,0.000009884052,0.001284156,0.00007970935,0.9965372,0.002049061,0.000002854264],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05514959,0.002709639,0.7336447,0.007736352,0.001135864,0.00007313902,0.0004845662,0.0005957243,0.1984705],"genre_scores_gemma":[0.786861,0.002386389,0.1494762,0.001624317,0.001182108,0.0001990596,0.0005566512,0.0005906507,0.05712356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01529733,"threshold_uncertainty_score":0.05117464,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01728469457103503,"score_gpt":0.2881806004346795,"score_spread":0.2708959058636444,"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."}}