标有数学的包裹

9个包裹都有这个标签。

[合并标签]（仅限受托人）

相关标签：图书馆(9),数据(5),数学(5),数学(5),bsd3型(3),通用公共照明(3),形式方法(2),英里/小时(2),程序(2),理论证明者(2),代数(1),数据结构(1), ...

姓名	数据链路	额定值	收入折旧	描述	标签	最后一个U/L	上次版本	维护者
有限类别	37	0	1	有限范畴和它们上的常用范畴结构。	(数据，通用公共照明，图书馆，数学)	2024-05-16	0.6.5.0	格拉巴格
有限类别图Viz	6	0	0	使用GraphViz将包FiniteCategories的对象转换为图形。	(数据，通用公共照明，图书馆，数学)	2023-10-10	0.2.0.0	格拉巴格
低压摊铺机	4	0	0	涉及非线性实数算法的自动校准器目标问题	(形式方法，图书馆，数学，数学，数学，英里/小时，程序，理论证明者，验证)	2023-03-13年	0.0.5.0	朱奈德·拉希德
大基数层次结构	8	0	1	包含所有已知大基数的超限基数算术库	(图书馆，数学，数学，数学，集合理论)	2014-09-07	0.0.1	史蒂芬_E_A_布雷顿
道具FP	8	0	1	浮点程序的自动验证	(形式方法，图书馆，数学，数学，数学，英里/小时，程序，理论证明者)	2023-03-12年	0.1.2.0	朱奈德·拉希德
色彩空间	32	0	1	颜色类型的流形类实例	(数据，通用公共照明，绘图，图书馆，数学)	2023-07-04	0.2.1.0	左转
平面纹理	6	0	1	平面图的表示	(bsd3型，数据，图，图书馆，数学)	2012-04-27	1.0.0.0	伊万·米尔杰诺维奇
半环	181	2	18	两个幺半群作为一个，在神圣的哈斯基莫尼	(代数，bsd3型，数据，数据结构，图书馆，数学，数学，数学)	2021-01-07	0.6	切萨伊
简单方法	11	0	1	精确有理算法中两阶段单纯形法的实现	(bsd3型，图书馆，线性规划，数学，数学，数学，优化，优化)	2023-12-02年	0.2.0.0	朱奈德·拉希德