{"id":"W43281984","doi":"10.1007/978-3-642-38088-4_28","title":"Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Fractal and DNA sequence analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Dimension (graph theory); Quantum; Theoretical computer science; Algebra over a field; Algorithm; Mathematics; Pure mathematics; Quantum mechanics; Physics","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.001642638,0.0007745723,0.0007770786,0.001832155,0.001468156,0.003483754,0.001532347,0.001080949,0.007494642],"category_scores_gemma":[0.002687844,0.0005681284,0.001604703,0.001367459,0.005643479,0.005786218,0.003194551,0.003685746,0.0009244164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002183764,"about_ca_system_score_gemma":0.0008649898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001096287,"about_ca_topic_score_gemma":0.000932512,"domain_scores_codex":[0.9988499,0.0004397844,0.00009638254,0.0001713021,0.0003100973,0.0001325995],"domain_scores_gemma":[0.998322,0.0009013049,0.0001164218,0.0001877043,0.0003438268,0.0001288568],"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.000002411743,0.000004365403,0.00001093991,0.00001050188,0.000001495604,0.00001213743,0.00005903824,0.0003395321,0.0001014111,0.9980761,0.0002671193,0.00111491],"study_design_scores_gemma":[0.000004372732,0.000004995379,0.00002060501,0.000008939645,0.000002498555,0.00002378251,0.00002762814,0.003831524,0.0001343966,0.9926701,0.003265704,0.000005553214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02781456,0.002443609,0.8869293,0.002868195,0.0005313456,0.00005551674,0.0002913894,0.0004046958,0.07866129],"genre_scores_gemma":[0.7187147,0.002209576,0.2431585,0.001050877,0.001347181,0.0002666048,0.0005102565,0.0004030941,0.03233923],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007494642,"threshold_uncertainty_score":0.02507204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006085162571793249,"score_gpt":0.2252399460996778,"score_spread":0.2191547835278846,"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."}}