“canonical basis for symmetric bilinear forms”的概念、定义、习题解题方法及翻译-数学辞典

单词	canonical basis for symmetric bilinear forms
释义	SeeCanonicalBasisForSymmetricBilinearForms
随便看	10.1.3 Quotients 1014SetIsAPimathsfWpretopos 10.1.4 Set is a Π⁢𝖶-pretopos 1015TheAxiomOfChoiceImpliesExcludedMiddle 10.1.5 The axiom of choice implies excluded middle 101TheCategoryOfSets 10.1 The category of sets 102CardinalNumbers 10.2 Cardinal numbers 103OrdinalNumbers 10.3 Ordinal numbers 104ClassicalWellorderings 10.4 Classical well-orderings 105TheCumulativeHierarchy 10.5 The cumulative hierarchy 10SetTheory 10. Set theory 110PatternMatchingAndRecursion 1.10 Pattern matching and recursion 111PropositionsAsTypes 1.11 Propositions as types 111TheFieldOfRationalNumbers 11.1 The field of rational numbers 1121PathInduction 1.12.1 Path Induction

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。