“Homotopy type theory”的概念、定义、习题解题方法及翻译-数学辞典

单词	Homotopy type theory
释义	SeeHomotopyTypeTheory
随便看	(p,q) unshuffle PracticalNumber practical number practical number PracticalNumber1 PraeclarumTheorema praeclarum theorema PrattCertificate Pratt certificate PrecisionRecall precision recall PrecompactSet precompact set PredecessorsAndSuccesorsInQuivers predecessors and succesors in quivers Predicativism predicativism PredictableProcess predictable process PredictableStoppingTime predictable stopping time Preface Preface Preface Preface1

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