愤世嫉俗者
发表于 2025-3-25 03:56:00
Gal Gross,Eckhard MeinrenkenFor undergraduates! Required background material is typically covered in the first 2 or 3 years of university.The role of point set topology is kept to a minimum.Theory of manifolds appears as a natur
离开真充足
发表于 2025-3-25 11:19:57
http://reply.papertrans.cn/63/6234/623398/623398_22.png
内疚
发表于 2025-3-25 14:16:04
978-3-031-25408-6The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
fatuity
发表于 2025-3-25 18:12:37
http://reply.papertrans.cn/63/6234/623398/623398_24.png
使服水土
发表于 2025-3-25 21:43:57
http://reply.papertrans.cn/63/6234/623398/623398_25.png
LUCY
发表于 2025-3-26 01:36:54
https://doi.org/10.1007/978-3-031-25409-3introduction to manifolds textbook; smooth functions on manifolds; tangent spaces; differential forms t
睨视
发表于 2025-3-26 06:55:08
http://reply.papertrans.cn/63/6234/623398/623398_27.png
Inveterate
发表于 2025-3-26 10:52:40
Gal Gross,Eckhard Meinrenkenives, integrals, sums, products, vector operators, brackets, and various forms of subscripts and superscripts using the traditional mathematical notation based on the low-level box language and contains over 700 functions for notation, algebraic manipulation and evaluation of mathematical expression
lattice
发表于 2025-3-26 14:38:56
Gal Gross,Eckhard Meinrenkenry of mathematics formalized in that system. The UniMath library, under active development, aims to coherently integrate machine-checked proofs of mathematical results from many different branches of mathematics..The UniMath language is a dependent type theory, augmented by the univalence axiom. One
切掉
发表于 2025-3-26 20:45:43
http://reply.papertrans.cn/63/6234/623398/623398_30.png