请输入您要查询的字词:
单词
Xypic Examples
释义
See
XypicExamples1
随便看
23Tree
2-3 tree
23TypeFamiliesAreFibrations
2.3 Type families are fibrations
24HomotopiesAndEquivalences
2.4 Homotopies and Equivalences
25TheHigherGroupoidStructureOfTypeFormers
2.5 The higher groupoid structure of type formers
26CartesianProductTypes
2.6 Cartesian product types
27Sigmatypes
2.7 Σ-types
28TheUnitType
2.8 The unit type
29PitypesAndTheFunctionExtensionalityAxiom
SphereTheoremFromGlobalDifferentialGeometry
sphere theorem from global differential geometry
SphericalCoordinates
spherical coordinates
SphericalDerivative
spherical derivative
SphericalMean
spherical mean
SphericalMetric
spherical metric
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 3:02:14