“construction of regular 2⁢n-gon from regular n-gon”的概念、定义、习题解题方法及翻译-数学辞典

单词	construction of regular 2⁢n-gon from regular n-gon
释义	SeeConstructionOfRegular2ngonFromRegularNgon
随便看	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

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