所有数学知识-数学辞典

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

4.6 Surjections and embeddings	47ClosurePropertiesOfEquivalences	4.7 Closure properties of equivalences	48TheObjectClassifier	4.8 The object classifier
49UnivalenceImpliesFunctionExtensionality	4.9 Univalence implies function extensionality	4Equivalences	4. Equivalences	4Measurement
4. Measurement	4SurfaceBundles	4 surface bundles	51IntroductionToInductiveTypes	5.1 Introduction to inductive types
52UniquenessOfInductiveTypes	5.2 Uniqueness of inductive types	53Wtypes	5.3 W-types	54InductiveTypesAreInitialAlgebras
5.4 Inductive types are initial algebras	55HomotopyinductiveTypes	5.5 Homotopy-inductive types	56TheGeneralSyntaxOfInductiveDefinitions	5.6 The general syntax of inductive definitions
57GeneralizationsOfInductiveTypes	5.7 Generalizations of inductive types	58IdentityTypesAndIdentitySystems	5.8 Identity types and identity systems	5Entanglement
5. Entanglement	5Induction	5. Induction	610Quotients	6.10 Quotients
611Algebra	6.11 Algebra	612TheFlatteningLemma	6.12 The flattening lemma	613TheGeneralSyntaxOfHigherInductiveDefinitions
6.13 The general syntax of higher inductive definitions	61Introduction	6.1 Introduction	62InductionPrinciplesAndDependentPaths	6.2 Induction principles and dependent paths
63TheInterval	6.3 The interval	64CirclesAndSpheres	6.4 Circles and spheres	65Suspensions
6.5 Suspensions	66CellComplexes	6.6 Cell complexes	67HubsAndSpokes	6.7 Hubs and spokes
68Pushouts	6.8 Pushouts	69Truncations	6.9 Truncations	6Discussion
6. Discussion	6jrepresentationIn3DInGrafix	6j-representation in 3D in grafix	71DefinitionOfNtypes	7.1 Definition of n-types
72UniquenessOfIdentityProofsAndHedbergsTheorem	7.2 Uniqueness of identity proofs and Hedbergâs theorem	73Truncations	7.3 Truncations	74ColimitsOfNtypes
7.4 Colimits of n-types	75Connectedness	7.5 Connectedness	76OrthogonalFactorization	7.6 Orthogonal factorization
77Modalities	7.7 Modalities	7HomotopyNtypes	7. Homotopy n-types	810AdditionalResults
8.10 Additional Results	811GettingStarted	stochastic integral	StochasticIntegrationAsALimitOfRiemannSums	stochastic integration as a limit of Riemann sums
StochasticIntegrationByParts	stochastic integration by parts	Stochastic maps	StochasticMatrix	stochastic matrix
StochasticProcess	stochastic process	StolzCesaroTheorem	Stolz-Cesaro theorem	StoneSpace
Stone space	StonevCechCompactification	StoneWeierstrassTheorem	Stone-Weierstrass theorem	StoneWeierstrassTheoremcomplexVersion
Stone-Weierstrass theorem (complex version)	StoneWeierstrassTheoremForLocallyCompactSpaces	Stone-Weierstrass theorem for locally compact spaces	Stone-Čech compactification	StoppedProcess
stopped process	StoppingTime	stopping time	StormerNumber	StraightLineIsShortestCurveBetweenTwoPoints
straight line is shortest curve between two points	StraightlineProgram	straight-line program	StrainTransformation	strain transformation
StrangeRoot	strange root	Strategy	strategy	StreamInterlaceAndDeinterlace
[首页] [上一页] [1] [2] [3] [4] [5] [6] [7] [下一页] [末页] 共有 18232 条记录页次: 4/152