请输入您要查询的字词:
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
A.2.4 Dependent function types (Π-types)
A25DependentPairTypesSigmatypes
A.2.5 Dependent pair types (Sigma-types)
A26CoproductTypes
A.2.6 Coproduct types
A27TheEmptyType0
A.2.7 The empty type 0
A28TheUnitType1
A.2.8 The unit type 1
A29TheNaturalNumberType
A.2.9 The natural number type
A2TheSecondPresentation
A.2 The second presentation
A31FunctionExtensionalityAndUnivalence
A.3.1 Function extensionality and univalence
A32TheCircle
A.3.2 The circle
A3HomotopyTypeTheory
A.3 Homotopy type theory
A4BasicMetatheory
A.4 Basic metatheory
AAA
AAA
AASIsNotValidInSphericalGeometry
AAS is not valid in spherical geometry
Abacus
abacus
ABAndBAAreAlmostIsospectral
ABCConjecture
ABC conjecture
abcdIfAndOnlyIfAcAndBd
(a,b)=(c,d) if and only if a=c and b=d
AbelianExtension
abelian extension
AbelianFunction
abelian function
AbelianGroup
abelian group
SubspaceTopologyInAMetricSpace
subspace topology in a metric space
Substitutability
substitutability
Substitution
substitution
SubstitutionForIntegration
substitution for integration
SubstitutionNotation
substitution notation
SubstitutionsInPropositionalLogic
substitutions in propositional logic
SubstitutionTheoremForPropositionalLogic
substitution theorem for propositional logic
Substructure
substructure
Subtraction
subtraction
Successor
successor
SuccessorCardinal
successor cardinal
Sudoku
sudoku
SufficientConditionOfIdenticalCongruence
sufficient condition of identical congruence
SufficientStatistic
sufficient statistic
SumAndProductAndQuotientOfFunctions
sum and product and quotient of functions
Sumfree
sum-free
SumFunctionOfSeries
sum function of series
SummableFunction
summable function
Summation
summation
SummationByParts
summation by parts
SummatoryFunctionOfArithmeticFunction
summatory function of arithmetic function
SummedNumeratorAndSummedDenominator
summed numerator and summed denominator
SumOfAnglesOfTriangleInEuclideanGeometry
sum of angles of triangle in Euclidean geometry
SumOffracmunn
SumOfIdeals
sum of ideals
SumOfOddNumbers
sum of odd numbers
SumOfPowersOfBinomialCoefficients
sum of powers of binomial coefficients
SumOfReciprocalsOfSylvestersSequence
sum of reciprocals of Sylvester’s sequence
SumOfRthPowersOfTheFirstNPositiveIntegers
sum of rth powers of the first n positive integers
SumOfSeries
sum of series
SumOfSeriesDependsOnOrder
sum of series depends on order
SumOfValuesOfHolomorphicFunction
sum of values of holomorphic function
sum of {μ(n)}/n
SumproductNumber
sum-product number
SumproductTheorem
sum-product theorem
SumRule
sum rule
Sumset
sumset
SumsOfCompactPavingsAreCompact
sums of compact pavings are compact
SumsOfNormalRandomVariablesNeedNotBeNormal
sums of normal random variables need not be normal
SumsOfTwoSquares
sums of two squares
SunsConjectureOnSumsOfPrimesAndTriangularNumbers
SunZhiwei
Sun Zhiwei
Sun’s conjecture on sums of primes and triangular numbers
[首页]
[上一页]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[下一页]
[末页]
共有 18232 条记录 页次: 7/152
Copyright © 2000-2023 Newdu.com.com All Rights Reserved