{"id":"W2605703278","doi":"10.1007/978-3-319-62075-6_2","title":"Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Axiom; Rotation formalisms in three dimensions; Morphism; Graph theory; Conceptual graph; Algebraic theory; Theoretical computer science; Mathematical theory; Type theory; Category theory; Algebra over a field; Knowledge representation and reasoning; Artificial intelligence; Discrete mathematics; Type (biology); Mathematics; Algebraic number","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.003130232,0.0003984825,0.0003493482,0.001846254,0.002079855,0.00472884,0.001691309,0.002075049,0.009727548],"category_scores_gemma":[0.007418854,0.0003519464,0.0009077603,0.00255974,0.00587783,0.01219559,0.003703956,0.002950653,0.0009060368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002945354,"about_ca_system_score_gemma":0.001760329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005712057,"about_ca_topic_score_gemma":0.007695498,"domain_scores_codex":[0.9980117,0.001059319,0.0001021206,0.0002405824,0.0004343399,0.0001519283],"domain_scores_gemma":[0.993709,0.004372696,0.0002321862,0.0009433123,0.000541306,0.0002014631],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001343798,0.00002772381,0.000238972,0.00003671404,0.000004267468,0.0002290447,0.001183453,0.001298777,0.0003062859,0.9810162,0.0008209561,0.01482415],"study_design_scores_gemma":[0.00001464337,0.00002909909,0.0003001345,0.0001084677,0.00002255502,0.0006239107,0.002055887,0.01957322,0.001403535,0.9344323,0.04141979,0.00001650362],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06504899,0.0010243,0.8113017,0.006242448,0.0001117883,0.0002242583,0.0004496796,0.0007640857,0.1148327],"genre_scores_gemma":[0.6565331,0.0008410517,0.3206936,0.0004819093,0.00006132097,0.0001451581,0.0005560942,0.0002673812,0.02042021],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009727548,"threshold_uncertainty_score":0.03254187,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03844687787233771,"score_gpt":0.2985423668490404,"score_spread":0.2600954889767027,"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."}}