请输入您要查询的字词:
单词
Cartan matrix
释义
See
CartanMatrix
随便看
98TheStructureIdentityPrinciple
9.8 The structure identity principle
99TheRezkCompletion
9.9 The Rezk completion
9CategoryTheory
9. Category theory
A
a
A0Preliminaries
A.0 Preliminaries
A11TypeUniverses
A.1.1 Type universes
A12DependentFunctionTypesPitypes
A.1.2 Dependent function types (Π-types)
A13DependentPairTypesSigmatypes
A.1.3 Dependent pair types (Σ-types)
A14CoproductTypes
A.1.4 Coproduct types
A15TheFiniteTypes
A.1.5 The finite types
A16NaturalNumbers
A.1.6 Natural numbers
A17Wtypes
A.1.7 W-types
A18IdentityTypes
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 7:09:37