所有数学知识-数学辞典

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

standard duality on modules over algebras	StandardEnumeration	standard enumeration	StandardIdentity	standard identity
StandardNball	standard n-ball	StanislawUlam	Stanisław Ulam	Starfree
star-free	StarHeight	star height	StarProduct	star product
StarRefinement	star refinement	StarshapedRegion	star-shaped region	State
state	StateoutputMachine	state-output machine	StateSpaceIsNonempty	state space is non-empty
StationaryIncrement	stationary increment	StationaryPoint	stationary point	StationaryProcess
stationary process	StationarySet	stationary set	Statistic	statistic
StatisticalModel	statistical model	StatisticsOnPlanetMath	statistics on PlanetMath	SteinbergGroup
Steinberg group	SteinersTheorem	SteinerSystem	Steiner system	Steiner’s theorem
SteinitzTheorem	Steinitz theorem	SteinManifold	Stein manifold	StephenWilliamHawking
Stephen William Hawking	StereographicProjection	stereographic projection	SternBrocotTree	Stern-Brocot tree
SternPrime	Stern prime	StewartsTheorem	Stewart’s theorem	StickelbergersTheorem
Stickelberger’s theorem	StirlingNumbersOfTheFirstKind	Stirling numbers of the first kind	StirlingNumbersOfTheSecondKind	Stirling numbers of the second kind
StirlingPolynomial	Stirling polynomial	StirlingsApproximation	Stirling’s approximation	StochasticDifferentialEquation
stochastic differential equation	StochasticIntegral	2.9 Π-types and the function extensionality axiom	2groupoid	2-groupoid
2HomotopyTypeTheory	2. Homotopy Type Theory	2omeganletaunle2Omegan	2StochasticMaps	2. Stochastic maps
2^{ω⁢(n)}≤τ⁢(n)≤2^{Ω⁢(n)}	310WhenArePropositionsTruncated	3.10 When are propositions truncated?	311Contractibility	3.11 Contractibility
31SetsAndNtypes	3.1 Sets and n-types	32PropositionsAsTypes	3.2 Propositions as types?	33MerePropositions
3.3 Mere propositions	34ClassicalVsIntuitionisticLogic	3.4 Classical vs. intuitionistic logic	35SubsetsAndPropositionalResizing	3.5 Subsets and propositional resizing
36TheLogicOfMerePropositions	3.6 The logic of mere propositions	37PropositionalTruncation	3.7 Propositional truncation	38TheAxiomOfChoice
3.8 The axiom of choice	39ThePrincipleOfUniqueChoice	3.9 The principle of unique choice	3DistributedDynamicalSystems	3. Distributed dynamical systems
3manifold	3-manifold	3-manifold	3manifold1	41Quasiinverses
4.1 Quasi-inverses	42HalfAdjointEquivalences	4.2 Half adjoint equivalences	43BiinvertibleMaps	4.3 Bi-invertible maps
44ContractibleFibers	4.4 Contractible fibers	45OnTheDefinitionOfEquivalences	4.5 On the definition of equivalences	46SurjectionsAndEmbeddings
[首页] [上一页] [1] [2] [3] [4] [5] [6] [7] [下一页] [末页] 共有 18232 条记录页次: 3/152